Safe Haskell  None 

Documentation
class Equality expr whereSource
Equality for expressions
equal :: expr a > expr b > BoolSource
Equality for expressions
Comparing expressions of different types is often needed when dealing with expressions with existentially quantified subterms.
Equality Semantics  
Equality Empty  
Equality Condition  
Equality Construct  
Equality Identity  
Equality Literal  
Equality Tuple  
Equality Select  
Equality Let  
Equality Lambda 

Equality Variable 

Equality dom => Equality (AST dom)  
Monad m => Equality (MONAD m)  
(Equality expr1, Equality expr2) => Equality (:+: expr1 expr2)  
Equality dom => Equality (: dom pred)  
Equality dom => Equality (: dom pred)  
Equality expr => Equality (Decor info expr)  
Equality dom => Equality (SubConstr1 c dom p)  
Equality dom => Equality (SubConstr2 c dom pa pb) 