/caterwaul/Identity/Type

Copy path to clipboard

Source

λ(object : Kind) → λ(a : object) → a