Эффективность равенства в Haskell

У меня есть функция, которая берет данные и или возвращает те же данные или немного измененную версию.

Я хочу иметь свою программу, делают одну вещь, если она изменилась или другая вещь, если она не изменилась.

Ранее я возвращал пару (Bool,Object) и использование fst проверять, изменилось ли это. В последнее время мне пришло в голову, что я мог упростить код, просто возвратив объект и проверив использование равенства ==.

Но затем я понял, что Haskell не дифференцируется между глубокой проверкой равенства, и "возражают идентификационным данным" (т.е. равенство указателя). Таким образом, как я могу знать ли использование == будет эффективным или нет? Я должен избежать его по причинам эффективности или являюсь там случаями, где я могу зависеть от компилятора, выясняющего, что это не должно делать глубокой проверки равенства?

Обычно я не был бы слишком взволнован по поводу эффективности при записи первоначальной программы, но это влияет на интерфейс к моему модулю, таким образом, я хочу разобраться в нем прежде, чем написать слишком много кода, и это не кажется стоящим того для создания программы намного менее эффективной только только к маленькой части кода. Кроме того, я хотел бы получить лучшее представление, какого вида из оптимизации я могу зависеть от GHC для помощи мне с.