Simple example

undefLiteral = do
    symbol "undef"
        return $ Val VUndef

• symbol is a Parsec builtin
• it asserts the next symbol is a literal ("undef" in this case)