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