map length (tiers :: [[ NoDup Nat3 ]])  =  [1,1,1,3,2,2,6]

length (list :: [ NoDup Nat3 ])  =  Infinity

allUnique (list :: [ NoDup Nat3 ])  =  True

ratioRepetitions (list :: [ NoDup Nat3 ])  =  0 % 1

tiers :: [NoDup Nat3]  =
  [ [NoDup []]
  , [NoDup [0]]
  , [NoDup [1]]
  , [ NoDup [0,1]
    , NoDup [1,0]
    , NoDup [2]
    ]
  , [ NoDup [0,2]
    , NoDup [2,0]
    ]
  , [ NoDup [1,2]
    , NoDup [2,1]
    ]
  , [ NoDup [0,1,2]
    , NoDup [0,2,1]
    , NoDup [1,0,2]
    , NoDup [1,2,0]
    , NoDup [2,0,1]
    , NoDup [2,1,0]
    ]
  ]
