:: Either a b -> a package:ImpSpec

Return value on the Left and fail otherwise