tcfail088.hs:9:19: error: [GHC-91510]
    • Illegal polymorphic type: forall s. T s a
    • In the instance declaration for ‘Ord (forall s. T s a)’