variable assertFilterableimport { assertFilterable } from "https://deno.land/x/hkts@v0.0.52/testing/assert.ts"; Assert: Filterable type<URI extends URIS, A = never, B = never, C = never, D = never>(F: TC.Filterable<URI>, unnamed 1: { a: Kind<URI, [A, B, C, D, ]>; b: Kind<URI, [A, B, C, D, ]>; f: Predicate<A>; g: Predicate<A>; }) => void