@hackage / operational

Implementation of difficult monads made easy with operational semantics.