map length (tiers :: [[ UTCTime ]])  =  [0,1,1,3,3,5,5,9,9,11,11,17,...]

length (list :: [ UTCTime ])  =  Infinity

allUnique (list :: [ UTCTime ])  =  True

ratioRepetitions (list :: [ UTCTime ])  =  0 % 1

tiers :: [UTCTime]  =
  [ []
  , [2019-01-01 00:00:01 UTC]
  , [2099-01-24 00:00:01 UTC]
  , [ 2019-01-01 00:00:00.5 UTC
    , 2019-01-01 00:00:02 UTC
    , 1938-12-09 00:00:01 UTC
    ]
  , [ 2099-01-24 00:00:00.5 UTC
    , 2099-01-24 00:00:02 UTC
    , 2139-02-05 00:00:01 UTC
    ]
  , [ 2019-01-01 00:00:00.333333333333 UTC
    , 2019-01-01 00:00:03 UTC
    , 1938-12-09 00:00:00.5 UTC
    , 1938-12-09 00:00:02 UTC
    , 1978-12-20 00:00:01 UTC
    ]
  , [ 2099-01-24 00:00:00.333333333333 UTC
    , 2099-01-24 00:00:03 UTC
    , 2139-02-05 00:00:00.5 UTC
    , 2139-02-05 00:00:02 UTC
    , 2059-01-12 00:00:01 UTC
    ]
  , [ 2019-01-01 00:00:00.25 UTC
    , 2019-01-01 00:00:00.666666666666 UTC
    , 2019-01-01 00:00:01.5 UTC
    , 2019-01-01 00:00:04 UTC
    , 1938-12-09 00:00:00.333333333333 UTC
    , 1938-12-09 00:00:03 UTC
    , 1978-12-20 00:00:00.5 UTC
    , 1978-12-20 00:00:02 UTC
    , 1898-11-27 00:00:01 UTC
    ]
  , [ 2099-01-24 00:00:00.25 UTC
    , 2099-01-24 00:00:00.666666666666 UTC
    , 2099-01-24 00:00:01.5 UTC
    , 2099-01-24 00:00:04 UTC
    , 2139-02-05 00:00:00.333333333333 UTC
    , 2139-02-05 00:00:03 UTC
    , 2059-01-12 00:00:00.5 UTC
    , 2059-01-12 00:00:02 UTC
    , 2159-02-11 00:00:01 UTC
    ]
  , [ 2019-01-01 00:00:00.2 UTC
    , 2019-01-01 00:00:05 UTC
    , 1938-12-09 00:00:00.25 UTC
    , 1938-12-09 00:00:00.666666666666 UTC
    , 1938-12-09 00:00:01.5 UTC
    , 1938-12-09 00:00:04 UTC
    , 1978-12-20 00:00:00.333333333333 UTC
    , 1978-12-20 00:00:03 UTC
    , 1898-11-27 00:00:00.5 UTC
    , 1898-11-27 00:00:02 UTC
    , 1998-12-26 00:00:01 UTC
    ]
  , [ 2099-01-24 00:00:00.2 UTC
    , 2099-01-24 00:00:05 UTC
    , 2139-02-05 00:00:00.25 UTC
    , 2139-02-05 00:00:00.666666666666 UTC
    , 2139-02-05 00:00:01.5 UTC
    , 2139-02-05 00:00:04 UTC
    , 2059-01-12 00:00:00.333333333333 UTC
    , 2059-01-12 00:00:03 UTC
    , 2159-02-11 00:00:00.5 UTC
    , 2159-02-11 00:00:02 UTC
    , 2079-01-18 00:00:01 UTC
    ]
  , [ 2019-01-01 00:00:00.166666666666 UTC
    , 2019-01-01 00:00:00.4 UTC
    , 2019-01-01 00:00:00.75 UTC
    , 2019-01-01 00:00:01.333333333333 UTC
    , 2019-01-01 00:00:02.5 UTC
    , 2019-01-01 00:00:06 UTC
    , 1938-12-09 00:00:00.2 UTC
    , 1938-12-09 00:00:05 UTC
    , 1978-12-20 00:00:00.25 UTC
    , 1978-12-20 00:00:00.666666666666 UTC
    , 1978-12-20 00:00:01.5 UTC
    , 1978-12-20 00:00:04 UTC
    , 1898-11-27 00:00:00.333333333333 UTC
    , 1898-11-27 00:00:03 UTC
    , 1998-12-26 00:00:00.5 UTC
    , 1998-12-26 00:00:02 UTC
    , 1918-12-03 00:00:01 UTC
    ]
  , ...
  ]