Higher-order, no-boilerplate, zero-cost monads | Heykuki News