Злоупотребление алгеброй алгебраических типов данных - почему это работает?

«Алгебраическое» выражение для алгебраических типов данных выглядит очень наводящим на размышления тому, кто имеет опыт работы в математике. Позвольте мне попытаться объяснить, что я имею в виду. Определив основные типы Товар • союз + одиночка X Ед. изм 1 и используя сокращение X²для X•Xи 2Xдля...