blob: 7f6462b8399396a7f12da27ebd3aecdf6ab9721d (
plain)
1
2
3
4
5
6
|
T17563.hs:8:9: error: [GHC-80003]
• Non type-variable argument in the constraint: Num (T a x)
• In the quantified constraint ‘forall x. Num (T a x)’
In the type signature: blah :: (forall x. Num (T a x)) => T a b
Suggested fix: Perhaps you intended to use FlexibleContexts
|
