which makes this possible hopefully `typealias Val...
# arrow
j
which makes this possible hopefully
typealias ValidationResultWithInput<A> = Validated<Tuple2<Endo<A>, Nel<String>>, A>