3 ms·When you boycott something at the type level, it's a compiler error to buy something from that firm.by nbb 11y agoWhen you boycott something at the type level, it's a compiler error to buy something from that firm.