polysemy-0.5.0.1: Higher-order, low-boilerplate, zero-cost free monads.