variable propsimport { props } from "https://deno.land/x/hkts@v0.0.52/optics/traversal.ts"; type<A, P extends keyof A>(...props: [P, P, ...Array<P>]) => (<S>(sa: Traversal<S, A>) => Traversal<S, [K in P]: A[K]>)