Initial parser monad type added.