operational-0.2.2.1: Implementation of difficult monads made easy with operational semantics.