variable propimport { prop } from "https://deno.land/x/hkts@v0.0.52/optics/prism.ts"; type<A, P extends keyof A>(prop: P) => (<S>(sa: Prism<S, A>) => Optional<S, A[P]>)