hs-to-coq
https://github.com/antalsz/hs-to-coq
Total Haskell is Reasonable Coq
https://arxiv.org/pdf/1711.09286.pdf