Extraction to HaskellΒΆ

TODO