variable setimport { set } from "https://deno.land/x/hkts@v0.0.52/optics/traversal.ts"; type<A>(a: A) => (<S>(sa: Traversal<S, A>) => (s: S) => S)