Each of those data constructors is a function (in this simple case a constant) that returns a Status instance.The type Status is a so called sum type as it is represents the set defined by the sum of all three instances Green, Yellow, Red. In Java this corresponds to Enumerations....