Derived form

A construct that adds no expressive power but can be translated into more primitive forms, e.g., $\text{let}x=s\text{in}t$ desugars to $(\lambda x.t)s$.