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