Switch exercise MonadState definition to standard one.