On 11/29/22 15:18, Timon Gehr wrote: > > sumtype WithDefault(T){ > Default; > T; > } Should have been: sumtype WithDefault(T){ Default, T value, }