Higher-order, no-boilerplate, zero-cost monads | Hacker News Reader