комментарий пользователем 2426021684 заставил меня исследовать, можно ли придумать функцию типа F , такую, что F c1 c2 fa демонстрирует, что для некоторых f и a : fa ~ f a c1 f c2 a Оказывается, простейшая форма этого...