type alias MonadTestimport { type MonadTest } from "https://deno.land/x/hkts@v0.0.52/testing/assert.ts"; Utility Types Type ParametersURI extends URISAoptionalB = neveroptionalC = neveroptionalD = neveroptionalI = neveroptionalJ = neverdefinition: { a: A; 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, ]>; fati: (a: A) => Kind<URI, [I, B, C, D, ]>; fitj: (i: I) => Kind<URI, [J, B, C, D, ]>; }