The <> operator on validation values ends up ignoring failures, which seems like something unintended. I discovered this while debugging a validation related bug. Is there a reason Validation is an instance of Semigroup at all?