Direct-style via context functionsNo monads, no for-comprehensions, no syntactical overhead. Useful stack traces.