Manually create type classes and make instances of type classes