function traverseimport { traverse } from "https://deno.land/x/fun@v.2.0.0-alpha.11/sync.ts"; traverse<V extends Kind>(A: Applicative<V>): <A, I, J, K, L, M>(faui: (a: A) => $<V, [I, J, K], [L], [M]>) => (ta: Sync<A>) => $<V, [Sync<I>, J, K], [L], [M]>Type ParametersV extends KindParametersA: Applicative<V>Returns<A, I, J, K, L, M>(faui: (a: A) => $<V, [I, J, K], [L], [M]>) => (ta: Sync<A>) => $<V, [Sync<I>, J, K], [L], [M]>