Basic implementation of the entails relation
Show (Data a) example
Add failing example
Add Monad example
Generate typeclass dictionary names
Generate typeclass dictionary names
Fix some aspects of code gen
Fix an issue with unqualified type class names
CodeGen fixes