Monads doesn't compose (well), why?(old.reddit.com)

https://old.reddit.com/r/haskell/comments/111y0vy/monads_doesnt_compose_well_why/