ErroneousMessage is replaced with Either.