? Adam: Pokaż, że przy pomocy alternatywy i koniunkcji nie jest możliwe zdefiniowanie wszystkich funktorów dwuargumentowych.