blob: 600283670f160a8e52ccf764544a5b26a9b15cf4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T7558.hs:8:18: error: [GHC-25897]
• Couldn't match expected type ‘a’ with actual type ‘Maybe a’
‘a’ is a rigid type variable bound by
the type signature for:
f :: forall a. T a a -> Bool
at T7558.hs:7:1-18
• In the expression: y
In the first argument of ‘seq’, namely ‘[x, y]’
In the expression: [x, y] `seq` True
• Relevant bindings include
y :: Maybe a (bound at T7558.hs:8:10)
x :: a (bound at T7558.hs:8:8)
f :: T a a -> Bool (bound at T7558.hs:8:1)
|