Analyzing typeclasses.com...