< Left = List | Right : Type >