I'm not saying we can't use these words to help people understand, just that we shouldn't rename core elements of the language just for the benefit of beginners

I'm not saying we can't use these words to help people understand, just that we shouldn't rename core elements of the language just for the benefit of beginners. Especially if the new names don't fit with half of their common use cases. Learning a new word is not what makes Monads hard.