Recycled Bin

f q = ... преобразуется в f x | x == Prelude.Num.fromInteger 1 = ...

Вот. Соответственно, Num нужем всюду, где есть числа, и Prelude требует серъёзной переделки для избавления от этого. Возможно, вместе с ghc.

Попробуй представсь себе полиморфный код, но без Eq.

f (x:x:_) = x

f [1,2]
f "Hello"

f [Just $ Data.Set.Set.fromList "Hello",Just $ Data.Set.Set.fromList "Hello"] ;)

Получится структурное сравнение, то же, что и получается при deriving Eq. ;)