Highlighting for typeclasses