Constructs an Algebraic from another Algebraic of the same union type or from a value of type T, with copyability constraints.
Constructs an Algebraic from another Algebraic of the same union type or from a value of type T, with copyability constraints.