/caterwaul/Identity/Kind

Copy path to clipboard

Source

λ(a : Kind) → a