Multiple constructors for ADTs.