iseExpectedEqK :: MonadError CoreErr m => Kind -> Kind -> m a
raiseExpectedEqK κ = throwError . ExpectedEquivKinds κ

ra
raiseExpectedEqK :: MonadError CoreErr m => Kind -> Kind -> m a
raiseExpectedEqK κ = throwError . ExpectedEquivKinds κ
raiseExpectedEqK κ = throwError . ExpectedEquivKinds κ