blob: 08c077fb7ca948b518aa0e0b414f6872e03f68cf (
plain)
1
2
3
4
5
6
|
T17563.hs:8:9: error:
• 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
|