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?