Le rail monadique

Pourquoi >>= existe, en trois temps, pour huit monades. Avec Maybe, Either, List, Reader, Writer, State, IO ou Parser, la mécanique est la même : seul le sens de « aplatir » change.