
tcfail088.hs:9:19:
    Illegal polymorphic or qualified type: forall s. T s a
    In the instance declaration for `Ord (forall s. T s a)'
