tcfail088.hs:9:
    Illegal polymorphic type as argument: forall s. T s a
    When checking kinds in `Ord (forall s. T s a)'

tcfail088.hs:14:
    Illegal polymorphic type as argument: forall b. b
    When checking kinds in `T s (forall b. b)'
    In a type signature for `g'