Example of Multiple Type Binding over MonadState

Notice 'over MonadState'.