Type.Eq

Full equality

data a :~: b

withEq

idEq

composeEq

flipEq

argumentEq

cast

(|>)

Partial equality

data OuterEq f a

data InnerEq i a

withOuterEq

withInnerEq

outerEq

innerEq

assembleEq

sameInnerEq

Testing for equality

dynamicEq

class TypeCompare t