+++ /dev/null
-
-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'