One embodiment provides {HEAD ~ a method} of providing {TAIL ~ access} to a lazily ordered dataset in a type safe manner 
One embodiment provides { HEAD ~ a method } of providing { TAIL ~ access } to a lazily ordered dataset in a type safe manner
OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD REL REL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH