blob: e0a3526000a343de43df2ee7ae5600298e245ff9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T3950.hs:15:8: error:
• Couldn't match kind ‘*’ with ‘* -> *’
When matching types
w :: (* -> * -> *) -> *
Sealed :: (* -> *) -> *
Expected type: Maybe (w (Id p))
Actual type: Maybe (Sealed (Id p0 x0))
• In the expression: Just rp'
In an equation for ‘rp’:
rp _
= Just rp'
where
rp' :: Sealed (Id p x)
rp' = undefined
• Relevant bindings include
rp :: Bool -> Maybe (w (Id p)) (bound at T3950.hs:15:1)
|
