Remove redondant monad type constraint

Given the definition of `Monad m => MonadState s m` in mtl, I have been wondering about  the `Monad m` contraint in the `GameStateOnly` type.

Is it necessary ? The code still compiles (and test passes) if I remove it.