losing language features: some stories about disjoint unions (via FedericoSchonborn) — discussion

#plt