Sum types is the one big thing missing IMO, the language got a LOT of things right otherwise