a functional lex