> Structural sum types containing dependent types. Dependent in what sense? Swift doesn't support anything like dependent types in the usual sense of being dependent on a value (modulo the pretty limited ability to abuse the type system).