Data.Type.Equality

The equality types

data a :~: b

class (j ~~ k) a b

Working with equality

Inferring equality from other types

class TestEquality f

Boolean type-level equality

type family (a :: k) == (b :: k) :: Bool