Почему было трудно реализовать классы типов?

На слайде 30/78 этой презентации Саймон предполагает, что реализация классов типов вначале была «отчаянием». Кто-нибудь знает, почему это произошло?