blob: 9d7cdcfee7b4af80fe91cafb1d9ed5d9d1a451a6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T15740.hs:11:20: error:
• Expected kind ‘forall k. k -> *’,
but ‘SBool’ has kind ‘Bool -> *’
• In the type ‘SBool’
In the type instance declaration for ‘F2’
T15740.hs:12:20: error:
• Expected kind ‘forall k. k -> *’, but ‘SNat’ has kind ‘Nat -> *’
• In the type ‘SNat’
In the type instance declaration for ‘F2’
|