Политика управления версиями пакетов - Безвредные изменения типа?

Политика управления версиями пакетов указывает, что изменение типа любого объекта приводит к изменению B ] номер в ABC необходимо.

Однако мне кажется, что некоторые изменения типов не нарушают зависимый код. В частности, рассмотрим следующий пример, в котором я отбрасываю ограничение класса Typeable :

- foo :: Typeable a => AddHandler a -> NetworkDescription (Event a)
+ foo :: AddHandler a -> NetworkDescription (Event a)

Итак, мой вопрос:

Можно ли удалить ограничение класса типа для кода, зависимого от функции? Должен ли я изменить номер B или просто C в версии A.B.C при внесении этого изменения?