add Typeclass example