interface URI
implements Kind
import { type URI } from "https://deno.land/x/fun@v2.0.0-alpha.10/predicate.ts";
Specifies Predicate as a Higher Kinded Type, with contravariant parameter A corresponding to the 0th index of any Substitutions.
import { type URI } from "https://deno.land/x/fun@v2.0.0-alpha.10/predicate.ts";
Specifies Predicate as a Higher Kinded Type, with contravariant parameter A corresponding to the 0th index of any Substitutions.