Added support for state monad to lower