Future work It is rather depressing to reflect on the amount of effort that is still required for such a project. Coq has a very steep learning curve. There is no tool support to automate the translation from Haskell to Coq.

Just want to point out that by now https://github.com/antalsz/hs-to-coq exists.