raiseExpectedEqTy :: MonadError CoreErr m => Type -> Type -> m a
raiseExpectedEqTy τ = throwError . ExpectedEquivTypes τ


raiseExpectedEqTy :: MonadError CoreErr m => Type -> Type -> m a
raiseExpectedEqTy τ = throwError . ExpectedEquivTypes τ
raiseExpectedEqTy τ = throwError . ExpectedEquivTypes τ