Explain Lex r monad..