¿Por qué fueron difíciles de implementar las clases de tipos?

En la diapositiva 30/78 deest [http://www.slideshare.net/nushio/peyton-jones2011type-classes] presentación, Simon sugiere que la implementación de clases tipográficas fue una "desesperación" al principio. ¿Alguien sabe por qué fue eso?