Haskell Type Classes in Coq

A write up for common Haskell typeclasses for use with Coq to help prove properties about instances to hopefully aid in findings bugs in implementations early.

Still a work in progress.