variable assertApplyimport { assertApply } from "https://deno.land/x/hkts@v0.0.52/testing/assert.ts"; Assert: Apply type<URI extends URIS, A = never, B = never, C = never, D = never, I = never, J = never>(A: TC.Apply<URI>, unnamed 1: { ta: Kind<URI, [A, B, C, D, ]>; fai: (a: A) => I; fij: (i: I) => J; tfai: Kind<URI, [(a: A) => I, B, C, D, ]>; tfij: Kind<URI, [(i: I) => J, B, C, D, ]>; }) => void