dilemma.hs

    -- This:
    data GlishaState us libs = GlishaState { 
      userState :: us,
      libraryState :: libs,
      window :: G.Window,
      drawFn :: DrawFn us
    }
    
    -- Action monad parametrized over us and libs
    -- Both us and libs hoisted into MonadState for library or client
    
    -- vs 
    data GlishaState us = GlishaState { 
      userAndLibraryState :: us,
      window :: G.Window,
      drawFn :: DrawFn us
    }
    
    -- Action monad parametrized over one type. Library defines its state as user does it right now, but *also* parametrized over user state. Library can see user state as part of its state. User gets it hoisted.