{-|
Equality typeclass for types that support equality comparison.

Exports: Type, equal, notEqual.
-}
let Equality
    : Type -> Type
    = ./Type.dhall

let equal
    : forall (A : Type) -> Equality A -> A -> A -> Bool
    = ./equal.dhall

let notEqual
    : forall (A : Type) -> Equality A -> A -> A -> Bool
    = ./notEqual.dhall

in  { Type = Equality, equal, notEqual }