[munificent]

I'm not sure what you mean by "usable abstractions" and tagged unions are a little verbose because they are defined in terms of closed sets of subtypes, but otherwise Dart has all of those.

[tayo42]

Nothing like "oh you can do that but with this weird work around" or if they're clunky to use