Data.EqZero

class EqZero a

geqZero