blob: 1f0d0a83ca7bbc5c8a9e5af7418583d3d4d41565 (
plain)
1
2
3
4
5
6
7
|
T14450.hs:35:3: error:
• Type indexes must match class instance head
Expected: Dom @k @k (IddSym0 @k)
Actual: Dom @* @* (IddSym0 @*)
• In the type instance declaration for ‘Dom’
In the instance declaration for ‘Varpi (IddSym0 :: k ~> k)’
|