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