blob: d2ec36e5dfbea33820647a484fe8ac2a058b6c13 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
BadTelescope5.hs:10:81: error:
• Expected kind ‘k’, but ‘d’ has kind ‘Proxy a’
‘k’ is a rigid type variable bound by
‘forall a k (b :: k) (c :: Proxy b) (d :: Proxy a).
Proxy c -> SameKind b d’
at BadTelescope5.hs:10:17
• In the second argument of ‘SameKind’, namely ‘d’
In the type signature:
bar :: forall a k (b :: k) (c :: Proxy b) (d :: Proxy a).
Proxy c -> SameKind b d
|
