Кто-нибудь знает (или помнит), как нарушение классовых законов может вызвать проблемы в GHC?

Через некоторое время после того, как я спросил Что произойдет с вами, если вы нарушите законы монад? Я наткнулся на эту необъяснимую фразу в Haskell Wiki, на странице о Безопасном запуске ненадежного кода haskell :

«создание экземпляров классов, нарушающих предполагаемые законы (см. EvilIx)»

в качестве примера

Поскольку lambdabot использует GHC, по-видимому, это была ошибка (или особенность) GHC, делающего предположения о законах классов. Кто-нибудь помнит, что это такое? И случалось ли это когда-либо (или могло ли это) случайно ?

(поиск в Google по запросу "haskell + Evillx" не дает результатов).