specifyFunction2 listRevTailcall
  [ ([], [], [])
  , ([], [0], [0])
  , ([], [1], [1])
  , ([], [1, 0], [1, 0])
  , ([0], [], [0])
  , ([1], [], [1])
  , ([1], [0], [1, 0])
  , ([0, 1], [], [1, 0])
  ]
