this implicit injection should be applicable to eithers of any left type
Danger, Will Robinson, an exception may be thrown here
introduce InversionFailure as its own type
Left(InversionFailure()) -> InversionFailure.failedAttempt(failed)