Is the word problem easier if the monoids are commutative? (Or even trivial? I haven't thought deeply about it.)