constructors < Left : Natural | Right : Bool >