testsuite/tests/typecheck/should_fail/T16059c.stderr


1
2
3
4
5
6


T16059c.hs:6:6: error:
    • Illegal polymorphic type: forall a1. a1
    • In the expansion of type synonym ‘Foo’
      In the type signature: f :: Foo -> a -> f
    Suggested fix: Perhaps you intended to use RankNTypes