derived_instance, instance of typeclass example.