The free algebra in R with non-commuting indeterminates
