A disjunction (Either monad) that's more appropriate for validating inputs with better vocabulary & straight-forward failure aggregation.