> tails [1,2] [[1,2],[2],[]] > tails [] [[]]
> initTails [1,2] [([],[1,2]),([1],[2]),([1,2],[])] > initTails [] [([],[])]