Implement monads by specifying instructions and their desired operational semantics.