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