variable getStructSetoidimport { getStructSetoid } from "https://deno.land/x/hkts@v0.0.52/setoid.ts"; Module Getters type<O extends Readonly<Record<string, any>>>(eqs: [K in keyof O]: Setoid<O[K]>) => Setoid<O>