Конструктивное доказательство закона Де Моргана

[Xaositect]

arseniiv в сообщении #1246894 писал(а):

Xaositect в сообщении #1246869 писал(а):

Так ведь тут действительно известно: из обоих выводится. $A \Rightarrow A \vee B \Rightarrow C$, $B \Rightarrow A \vee B \Rightarrow C$

А не напишете функцию с типом (Either a b -> c) -> Either (a -> c) (b -> c)? По-моему, её всё-таки нет.

Аж две напишу: f1 g = Left (g . Left) и f2 g = Right (g . Right).

[arseniiv]

Да, действительно. Как же мою интуицию заклинило-то, оказывается.