Data Structure Type

A Data Structure Type is a Pattern that can constrain a Data Structure.