# Package com.jnape.palatable.lambda.adt

- Class Summary
  Class | Description
  --- | ---
  Either<L,R> | The binary tagged union, implemented as a specialized `CoProduct2`.
  Maybe<A> | The optional type, representing a potentially absent value.
  These<A,B> | The coproduct of a coproduct (``CoProduct2`<A, B>`) and its product (``Tuple2`<A, B>`), represented as a ``CoProduct3`<A, B, `Tuple2`<A, B>>`.
  Try<A> | A `Monad` of the evaluation outcome of an expression that might throw.
  Unit | The empty return type.