function these.traverseimport { these } from "https://deno.land/x/fun@v2.0.0/mod.ts"; const { traverse } = these; traverse<U extends Kind>(A: Applicable<U>): <A, I, J, K, L, M>(favi: (a: A) => $<U, [I, J, K], [L], [M]>) => <B>(ta: These<B, A>) => $<U, [These<B, I>, J, K], [L], [M]>Type ParametersU extends KindParametersA: Applicable<U>Returns<A, I, J, K, L, M>(favi: (a: A) => $<U, [I, J, K], [L], [M]>) => <B>(ta: These<B, A>) => $<U, [These<B, I>, J, K], [L], [M]>