id да не id

[deniok]

Приведите пример таких объявлений типа данных с конструктором данных T и сигнатуры функции f, что реализация

f (T x) = T x

проходила бы проверку типов, a

f x = x

нет.

Comments

[john kozlov (from livejournal.com)]

Короче, я неправильно понял задание. Я прочитал f x = x как f x == x и задача кардинально изменила свой смысл. Поэтому и написал instance Eq