function traverseimport { traverse } from "https://deno.land/x/fun@v2.0.0-alpha.6/tree.ts"; traverse<V extends Kind>(V: Applicative<V>): <A, I, J = never, K = never, L = unknown, M = unknown>(favi: (a: A) => $<V, [I, J, K], [L], [M]>) => (ta: Tree<A>) => $<V, [Tree<I>, J, K], [L], [M]>Type ParametersV extends KindParametersV: Applicative<V>Returns<A, I, J = never, K = never, L = unknown, M = unknown>(favi: (a: A) => $<V, [I, J, K], [L], [M]>) => (ta: Tree<A>) => $<V, [Tree<I>, J, K], [L], [M]>