Какая фиксированная точка фиксации?

Действительно, благодаря полиморфной рекурсии он будет проверять типы для более общего типа:

f :: a
f = fix f

По параметричности мы сразу видим, что он должен быть нижним, и, исходя из определения fix, это должен быть бесконечный цикл, а не исключение.

чи комментарии, для того же причина f = bar f будет "работать" с любыми bar :: F a -> a, где F a - это любой тип (который может зависеть от a). Определение выглядит так:

foo :: forall f a .
       (forall b . f b -> b) -> a
foo g = g (foo g)

Опять же, сигнатура типа является поддельной из-за параметризации, поскольку я могу выбрать, например, f ~ Const Void, и в этот момент становится ясно, что первый аргумент бесполезен для получения результата.