A library for formalizing Haskell types and functions in Coq - View it on GitHub