semantics of modular monads 1870429