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