Types.Either
type ('a, 'b) t = ('a, 'b) either
val left : 'a -> ('a, 'b) t
val right : 'b -> ('a, 'b) t