On Tuesday, 29 November 2022 at 10:30:40 UTC, Lars Johansson wrote: > I'm new to the term 'sum type'. To me it sounds like sum type > is a kind of 'or' set. > Is sum type a simpler form of Raku's junction? See https://en.wikipedia.org/wiki/Algebraic_data_type.