This seems to be saying that data types can be arbitrarily nested.  Do we really want to go that far?