Add type-class example
Add a Coq code that causes a bug