type alias Lensimport { type Lens } from "https://deno.land/x/hkts@v0.0.52/optics/lens.ts"; Models Type ParametersSAdefinition: { readonly get: (s: S) => A; readonly set: (a: A) => (s: S) => S; }