A version of Either whose Semigroup instance requires a Semigroup in the Left argument. Unlike most Validation packages, this package does not depend on the entire Kmettverse, preferring a small dependency tree.