Some more on typeclasses.