eUnboundTyVar :: MonadError CoreErr m => TyVar -> m a
raiseUnboundTyVar = throwError . UnboundTyVar

ra
raiseUnboundTyVar :: MonadError CoreErr m => TyVar -> m a
raiseUnboundTyVar = throwError . UnboundTyVar
raiseUnboundTyVar = throwError . UnboundTyVar