Tom Davis
Validated<E, Either<A, Validated<E, B>>>
Validated<E, Either<A, B>>
Either
A modern programming language that makes developers happier.