Data.TimeSet

data TimeSet a

newTimeSet

insert

insertWithTime

elem

elems

size

null

timeOf

ageOf

delete

touch

filter

filterSince

filterFromNow