A library of typeclasses for Coq - View it on GitHub