Validation, a solved problem?

A validation problem with a twist. Until recently, I thought that data validation was a solved problem: Use an applicative functor. I then encountered a forum question that for a few minutes shook my faith. After brief consideration, though, I realised that all is good.