variable makeimport { make } from "https://deno.land/x/hkts@v0.0.52/schemable/schemable.ts"; Utilities type<A>(f: (s: Schemable<URIS>) => Kind<URIS, [A]>) => Schema<A>