Example of a type class using YesNo.
Moved all the code to a single file.