7.5. Specifické konstrukce s významem "diference"

V této sekci popisujeme tři typy konstrukcí:

Všechny tyto konstrukce interpretujeme jako konstrukce s významem diference (funktor DIFF).