type alias Traversalimport { type Traversal } from "https://deno.land/x/hkts@v0.0.52/optics/traversal.ts"; Types Type ParametersSAdefinition: { readonly traverse: <URI extends URIS>(A: TC.Applicative<URI>) => <B = never, C = never, D = never>(fata: (a: A) => Kind<URI, [A, B, C, D, ]>) => (s: S) => Kind<URI, [S, B, C, D, ]>; }