interface Traversable implements Functor<U>, Foldable<U>, TypeClass<U>import { type Traversable } from "https://deno.land/x/fun@v2.0.0-alpha.10/traversable.ts"; Traversable https://github.com/fantasyland/static-land/blob/master/docs/spec.md#traversable Type ParametersU extends KindPropertiesreadonlytraverse: <VRI extends Kind>(A: Applicative<VRI>) => <A, I, J, K, L, M>(faui: (a: A) => $<VRI, [I, J, K], [L], [M]>) => <B, C, D, E>(ta: $<U, [A, B, C], [D], [E]>) => $<VRI, [$<U, [I, B, C], [D], [E]>, J, K], [L], [M]>