< Left : Type → Type | Right : Type >.Left List