Add typeclass examples