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