not sure if it can work and you may have tried it before but wouldn't it be possible to have a compile-time type ascription?
```scala
Future.successful(left : Either[SimpleResult, B])
```