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