Maps and lists can be nested to each self:
You can use already declared names as elements of list:
You can put a list to first argument of abstraction operator
=. In this case it deconstructs the value to it's structure and create named abstractions from its fields.