> Не уверен, что понимаю, что ты хочешь сказать.
Неважно. Я имел в виду, что Fun (Fun a -> a) эмулирует бестиповую лямбду, т.е. на нём можно сделать всё, что можно сделать на бестиповой лямбде. А 'a' тут есть или нет - роли не играет.

> У меня получалось, я могу попробовать.
Давай!