A method of providing access to a dataset in a type safe manner includes storing a dataset including a plurality of data elements and a corresponding plurality of order keys for indicating {HEAD ~ an ordering} of {TAIL ~ the data elements} 
A method of providing access to a dataset in a type safe manner includes storing a dataset including a plurality of data elements and a corresponding plurality of order keys for indicating { HEAD ~ an ordering } of { TAIL ~ the data elements }
OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL TAIL TAIL