I would like to propose that we remove the Show and Eq superclasses from
Num, i.e. change
   class  (Eq a, Show a) => Num a  where
       [...]
to
   class  Num a  where
       [...]