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

[lomeo]

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

newtype Fun a = Fun (Fun a -> a)

fun x@(Fun f) = f x

myFix = fun (Fun fun)

Запускал в GHCi 6.6