Implement 03-types-and-typeclasses