Я недавно посмотрел четвертую лекцию и в процессе решения домашнего задания наткнулся на затык. Как построить терм типа ((a -> b) -> a) -> (a -> a -> b) -> a? Терм обязательно должен быть замкнутым? Может, у вас есть какие-нибудь подсказки?