monadUserState y comentado una prueba de Lexem en vez de Token