No love for `asInstanceOf`?

Your suggestion results in a warning due to type erasure.

Statically, left _really is_ an `Either[SimpleResult, A]`. Dynamically you know it can only be a `Left[SimpleResult, A]`. Putting `case left: Left[SimpleResult, B]` just feels wrong, and it’s only erasure that ‘saves’ you.