Мда, очередной факториал.

Кстати, кто-нибудь разбирался с GHC API — там реально что-нибудь вытащить, например можно вытащить выведенные типы?