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