variable modifyimport { modify } from "https://deno.land/x/hkts@v0.0.52/optics/traversal.ts"; type<A>(f: (a: A) => A) => unknown