blob: 08ee73df2e377c25bfa970f66a73cedc354bca66 (
plain)
1
2
3
4
5
6
|
T6022.hs:4:1: error:
• Non type-variable argument in the constraint: Eq ([a] -> a)
• When checking the inferred type
f :: forall {a}. Eq ([a] -> a) => ([a] -> a) -> Bool
Suggested fix: Perhaps you intended to use FlexibleContexts
|