A proof of concept recursive descent parser in Haskell.