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