id да не id

[deniok]

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

f (T x) = T x

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

f x = x

нет.

Comments

[migmit.livejournal.com]

data T a = T Int
f :: T Int -> T String
f (T a) = T a

[deni-ok.livejournal.com]

Ага, фантомы.