variable someimport { some } from "https://deno.land/x/hkts@v0.0.52/optics/traversal.ts"; Pipeable Over ADT type<S, A>(soa: Traversal<S, Option<A>>) => Traversal<S, A>