On 11/28/2022 11:30 PM, Basile B. wrote: > I have the feeling that there are several cases where you use `enum thing {...}` > instead of `sumtype thing {...}`, this creates a bit of confusion. I would never make a mistake like that!