Getting userState in Trav

[Bueno, Denis]

Hi,

Is it possible to _get_ the user state when you're inside the Trav monad?  I
see that it's possible to _initialise_ it (via runTrav) and _modify_ it
(modifyUserState).  Am I missing something obvious?

Thanks,
                              Denis