Type Definition ferrite_session::Either

type Either<A, B> = (A, (B, ()));