variable assertProfunctorimport { assertProfunctor } from "https://deno.land/x/hkts@v0.0.52/testing/assert.ts"; Assert: Profunctor type<URI extends URIS, A = never, B = never, C = never, D = never, I = never, J = never, X = never, Y = never>(P: TC.Profunctor<URI>, unnamed 1: { tay: Kind<URI, [J, B, C, D, ]>; fai: (a: A) => I; fij: (i: I) => J; fbx: (b: B) => X; fxy: (x: X) => Y; }) => void