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