:gemini: higher-order, no-boilerplate, zero-cost monads - View it on GitHub