blob: 0bd3f9893b6ad0f23968e6c5d637f56f7f900c74 (
plain)
1
2
3
4
5
6
7
8
9
|
T18451.hs:10:58: error:
• Expected kind ‘k0’, but ‘b’ has kind ‘k’
Type variable kinds:
a :: k0
k :: Const (*) a
• In the second argument of ‘SameKind’, namely ‘b’
In the type ‘forall (b :: k). SameKind a b’
In the type declaration for ‘T’
|