Monads are hard because... | Hacker News Reader