Text this: Modules over monads and operational semantics (expanded version)