References for Type classes in Coq

Some references for type classes in coq.  Non-exhaustive