The 'operational' package

Implement monads by specifying instructions and their desired operational semantics.

Download

The Operational Monad Tutorial - Introductory document explaining the concept.
Library documentation - How to use the libary proper; documents changes with respect to the tutorial.
API Reference on hackage
Example code - Collection of working examples.