-- !!! Instances of superclasses exist
module M where
data T = T Int
instance Ord T