Конструктивизации прямых произведений алгебраических систем

Построен пример неконструктивизируемой абелевой группы, декартов квадрат которой конструктивизируем, и аналогичный пример в классе дистрибутивных решеток.