blob: e98712f8db188ac10ccc90ad1ebf9d2d4f28afae (
plain)
1
2
3
4
5
6
7
|
T16059e.hs:15:6: error: [GHC-91510]
• Illegal polymorphic type: forall a. a
• In the expansion of type synonym ‘Foo’
In the expansion of type synonym ‘Const’
In the type signature: g :: Const Foo Foo -> Int
Suggested fix: Perhaps you intended to use RankNTypes
|