variable asOptionalimport { asOptional } from "https://deno.land/x/hkts@v0.0.52/optics/iso.ts"; type<S, A>(sa: Iso<S, A>) => Optional<S, A>