:: Either a b -> IO b -package:ImpSpec

Fail if the given Either a b value is a Left. Use this function if a is not an instance of Show.
Lifts an Either e into Monad m with effect Throw e
Fail if the given Either a b value is a Left. Use this function if a is an instance of Show.
Escalate an Either to an exception.