Are supported by the standard library features
false, which return
respectively, as a value of choice type
Note that you typically should not use
FALSE directly, since they typically result in wrong types when
used for type inference.
More details on this is given in section Choice Types .