Added another way of substitution for the state monad example