¿Cuáles son los orígenes de la sintaxis ">> =" y ">>" en Haskell Monads? No estoy buscando una explicación de cómo funcionan las mónadas, sino por qué los diseñadores de idiomas eligieron esa sintaxis. Para mí, ">> =" y ">>" parece algo arbitrario y nunca tiene sentido intuitivo. ¿Alguien tiene una explicación intuitiva? ¿Es la sintaxis que proviene de la teoría de categorías?