module Stdlib.Trait.Eq; import Stdlib.Data.Bool.Base open; --- A trait defining equality trait type Eq A := mkEq {eq : A -> A -> Bool};