< Left : Natural | Right : Type >