`Either` and `Validation`: Natural Transformations, differing in the`Applicative` Instance
`Either` and `Validation`: Natural Transformations, differing in the `Applicative` Instance