Concrete example for type class pattern