--| Returns `True` if both arguments are equal and returns `False` otherwise
let equal
    : Bool -> Bool -> Bool
    = \(x : Bool) -> \(y : Bool) -> x == y

in  equal