T14450.hs:34: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)’