yVarOccursInType :: MonadError CoreErr m => TyVar -> Type -> m a
raiseTyVarOccursInType α = throwError . TyVarOccursInType α

raiseTyVarOccursInType :: MonadError CoreErr m => TyVar -> Type -> m a
raiseTyVarOccursInType α = throwError . TyVarOccursInType α
raiseTyVarOccursInType α = throwError . TyVarOccursInType α