Haskell - Как к лучше всего для представления грамматики языка программирования?

Я смотрел на Haskell, и я вполне хотел бы записать компилятор (как осуществление изучения) в нем, начиная со многое из, его - врожденные функции, может быть с готовностью применен к компилятору (особенно рекурсивный достойный компилятор).

Что я не могу вполне получить, моя голова вокруг - то, как представить грамматику языка в Haskell-ian путь. Моя первая мысль состояла в том, чтобы использовать рекурсивные определения типа данных, но я не вижу, как я использую их для соответствия против ключевых слов на языке ("если"), например.

Мысли и предложения, значительно ценившие,

Pete