A Haskell proof of concept of validation with partial data round trip

Which Semigroup best addresses the twist in the previous article? This article is part of a short article series on applicative validation with a twist. The twist is that validation, when it fails, should return not only a list of error messages; it should also retain that part of the input that was valid.