mod46.hs:4:10:
    No instance for (Eq T)
      arising from the superclasses of an instance declaration
    Possible fix: add an instance declaration for (Eq T)
    In the instance declaration for `Ord T'