Monads doesn't compose (well), why? | Hacker News Reader