Added typeclass example