Either<A, B>

An A error and a B happy path

Option<A>

A Unit error and a

A

happy path

Validated<A, B>

An invalid A and a Valid A