blob: 242768822f697379c6118b8e27da9b9c0eaae8b7 (
plain)
1
2
3
4
5
6
7
8
9
10
|
BadTelescope5.hs:10:81: error: [GHC-25897]
• Expected kind ‘k’, but ‘d’ has kind ‘Proxy a’
‘k’ is a rigid type variable bound by
the type signature for ‘bar’
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
|
