A library for formalizing Haskell types and functions in Coq