Losing language features: some stories about disjoint unions

4 points | by Bogdanp 10 hours ago