Type.IsEqual

class IsEqual a b (result :: Boolean) | a b -> result

This type class tells whether or not two types are equal with a Boolean-kinded result. This class is only useful for type-level programming.

Instances

• IsEqual a a True
• IsEqual a b False