YAP (was Re: Proposal: Remove Show and Eq superclasses of Num)

[Paterson, Ross]

Tyson Whitehead writes:
> Am I correct in understanding then that there could actually be euclidean
> domains that don't have good definitions unit and associate?

The properties make sense for any integral domain; there can always be
a definition.  Of course there may be some integral domains for which
the operations are not computable, just as other operations might not be.