variable assertFoldableimport { assertFoldable } from "https://deno.land/x/hkts@v0.0.52/testing/assert.ts"; Assert: Foldable type<URI extends URIS, A = never, B = never, C = never, D = never, I = never>(F: TC.Foldable<URI>, unnamed 1: { a: A; tb: Kind<URI, [I, B, C, D, ]>; faia: (a: A, i: I) => A; }) => void