Type Alias Rejected<Reason>

A rejection, with a reason of the program's rejection schema or with none: what update gives for a message.