Вопрос на ночь глядя. А будет ли в Dotty что-нть для деконструкции union types? Т. е. какая-нть операция, которая позволяет отщипнуть A из A | B | C и получить B | C ?
Я чот думал, что union types будут вести себя как Coproduct в shapeless, но все мои эксперименты прошли неудачно. Вот самый простой вариант, который тоже не работает https://scastie.scala-lang.org/27zbAwYoSKCEISWch1ccgw