Data.Type.Equality

The equality type

data a :~: b

Working with equality

sym

trans

castWith

gcastWith

apply

inner

outer

Inferring equality from other types

class TestEquality f

Boolean type-level equality

type family a == b :: Bool