function traverseimport { traverse } from "https://deno.land/x/fun@v2.0.0-alpha.12/sync.ts"; traverse<V extends Kind>(A: Applicable<V> & Mappable<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: Applicable<V> & Mappable<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]>