interface Foldable implements TypeClass<U>import { type Foldable } from "https://deno.land/x/fun@v2.0.0-alpha.6/foldable.ts"; Foldable https://github.com/fantasyland/static-land/blob/master/docs/spec.md#foldable Type ParametersU extends KindPropertiesreadonlyreduce: <A, O>(foao: (o: O, a: A) => O, o: O) => <B, C, D, E>(ta: $<U, [A, B, C], [D], [E]>) => O