Вывод типов всегда завершается, говорите?

[lomeo]

Вот здесь у меня висит на выводе типа myFix:

newtype Fun a = Fun (Fun a -> a)
 
fun x@(Fun f) = f x
 
myFix = fun (Fun fun)

Запускал в GHCi 6.6

Comments

[thesz.livejournal.com]

6.6.2, тоже виснет, но типы выводит правильные (судя по -ddump-tc).

[migmit.livejournal.com]

Ну дык так бы сразу и сказал. У всех так.

[thesz.livejournal.com]

А непонятно, почему.

Я даже сигнатуры указал, все равно виснет.