Extraction to Haskell
=====================

TODO