< Left : Type → Type | Right : Type >