import { type eq } from "https://deno.land/x/fun@v2.0.0-alpha.6/mod.ts";
const { URI } = eq;
Specifies Eq as a Higher Kinded Type, with covariant parameter A corresponding to the 0th index of any Substitutions.
Properties
readonly
kind: Eq<Out<this, 0>>