blob: 4f751a47a8e010dd1dc8e1e94e5e916a97032c5b (
plain)
1
2
3
4
5
|
tcfail196.hs:5:8: error: [GHC-91510]
• Illegal polymorphic type: forall a. a
• In the type signature: bar :: Num (forall a. a) => Int -> Int
Suggested fix: Perhaps you intended to use ImpredicativeTypes
|