The following complex types have been identified.
All complex types can be composed from Any other types even from themselves by using those and the operators.
U, ...; are placeholders for any types, those MUST be specifically declared on usage
|List||List of elements with type ||List|
|AttrSet||AttrSet where member ||AttrSet|
|Lambda||A function that takes a single argument of type ||lambda|
More details how to use complex types in the corresponding chapters