Started monadic interpreter