id да не id

[deniok]

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

f (T x) = T x

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

f x = x

нет.

Comments

[john kozlov (from livejournal.com)]

В голову приходит только дебильное:

data T = T (IO ())
instance Eq T where { _ == _ = True }

f = id

Теперь:

id $ putStrLn "abc" == putStrLn "abc" -- не компилируется
id $ T (putStrLn "abc") == T (putStrLn "abc") -- компилируется

[migmit.livejournal.com]

Ну, простейший вариант это data T = T Int Int. Или имеется в виду что-то другое?

[migmit.livejournal.com]

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

[lomeo.livejournal.com]

Хорошая задачка.

[sassa-nf.livejournal.com]

Вообще-то, из условия не очень понятно, что с такой ситуацией сталкивался. Как правило, ситуация возникает в каком-нибудь из кейсов - например:

map f (x:xs) = f x: map f xs
map f xs = xs -- нельзя, т.к. xs не того типа

А в чистом виде - функтор Const.

data Const a b = Const a
type T = Const A