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