An identity function returns its argument unchanged. In a Hughes list, it represents the empty list: concatenating an empty list onto any stack leaves that stack unchanged. section 2.7.3
Identity as empty storage
A partially applied function can capture a value and later reveal it: storage(0) returns 123. The Hughes-list equivalent is Empty = Make(stack => stack), which returns its supplied stack unchanged. section 2.7.3


