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$.