Транслятор на Haskell/Ocaml

Есть задание (по учёбе), необходимо сделать универсальный сериализатор для C структур на основе их описания. Я решил сделать это таким образом. Берёться описание структуры и транслируеться в C код, который собственно делает сериализацию... Хотелось бы транслятор написать на Haskell или Ocaml, вот вопрос собственно, подскажите талкомвую статейку/руководство (но не очень сложное) по этому вопросу.