map length (tiers :: [[ Complex Double ]])  =  [0,1,2,3,4,5,6,7,8,9,10,11,...]

length (list :: [ Complex Double ])  =  Infinity

allUnique (list :: [ Complex Double ])  =  True

ratioRepetitions (list :: [ Complex Double ])  =  0 % 1

tiers :: [Complex Double]  =
  [ []
  , [0.0 :+ 0.0]
  , [ 0.0 :+ 1.0
    , 1.0 :+ 0.0
    ]
  , [ 0.0 :+ (-1.0)
    , 1.0 :+ 1.0
    , (-1.0) :+ 0.0
    ]
  , [ 0.0 :+ 0.5
    , 1.0 :+ (-1.0)
    , (-1.0) :+ 1.0
    , 0.5 :+ 0.0
    ]
  , [ 0.0 :+ (-0.5)
    , 1.0 :+ 0.5
    , (-1.0) :+ (-1.0)
    , 0.5 :+ 1.0
    , (-0.5) :+ 0.0
    ]
  , [ 0.0 :+ 2.0
    , 1.0 :+ (-0.5)
    , (-1.0) :+ 0.5
    , 0.5 :+ (-1.0)
    , (-0.5) :+ 1.0
    , 2.0 :+ 0.0
    ]
  , [ 0.0 :+ Infinity
    , 1.0 :+ 2.0
    , (-1.0) :+ (-0.5)
    , 0.5 :+ 0.5
    , (-0.5) :+ (-1.0)
    , 2.0 :+ 1.0
    , Infinity :+ 0.0
    ]
  , [ 0.0 :+ (-Infinity)
    , 1.0 :+ Infinity
    , (-1.0) :+ 2.0
    , 0.5 :+ (-0.5)
    , (-0.5) :+ 0.5
    , 2.0 :+ (-1.0)
    , Infinity :+ 1.0
    , (-Infinity) :+ 0.0
    ]
  , [ 0.0 :+ (-2.0)
    , 1.0 :+ (-Infinity)
    , (-1.0) :+ Infinity
    , 0.5 :+ 2.0
    , (-0.5) :+ (-0.5)
    , 2.0 :+ 0.5
    , Infinity :+ (-1.0)
    , (-Infinity) :+ 1.0
    , (-2.0) :+ 0.0
    ]
  , [ 0.0 :+ 0.3333333333333333
    , 1.0 :+ (-2.0)
    , (-1.0) :+ (-Infinity)
    , 0.5 :+ Infinity
    , (-0.5) :+ 2.0
    , 2.0 :+ (-0.5)
    , Infinity :+ 0.5
    , (-Infinity) :+ (-1.0)
    , (-2.0) :+ 1.0
    , 0.3333333333333333 :+ 0.0
    ]
  , [ 0.0 :+ (-0.3333333333333333)
    , 1.0 :+ 0.3333333333333333
    , (-1.0) :+ (-2.0)
    , 0.5 :+ (-Infinity)
    , (-0.5) :+ Infinity
    , 2.0 :+ 2.0
    , Infinity :+ (-0.5)
    , (-Infinity) :+ 0.5
    , (-2.0) :+ (-1.0)
    , 0.3333333333333333 :+ 1.0
    , (-0.3333333333333333) :+ 0.0
    ]
  , ...
  ]