Data.DEq.Operators

Module with operators for the `DEq` intrerface
I put them in a separate module to make it possible to avoid name
ambiguities.

Definitions

(==) : DEq f => f a -> f b -> Bool

  Compare the operands and ignore the equality proof
  Alias for `deq'`

Visibility: export
Fixity Declaration: infix operator, level 6

(/=) : DEq f => f a -> f b -> Bool

  Decide the inequality of the operands
  Alias for `ngeq'`

Visibility: export
Fixity Declaration: infix operator, level 6