blob: 8a987b7a5640a94c1911d9412a3193baf6c6c32f (
plain)
1
2
3
4
5
6
7
8
|
T14450.hs:33:13: error:
• Expected kind ‘k ~> k’,
but ‘IddSym0 :: Type ~> Type’ has kind ‘* ~> *’
• In the first argument of ‘Dom’, namely
‘(IddSym0 :: Type ~> Type)’
In the type instance declaration for ‘Dom’
In the instance declaration for ‘Varpi (IddSym0 :: k ~> k)’
|
