Mention ASM monad