Add a plain join for state without newtype
Add the monad instance for MyState