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