Eliminate the witnesses
Start on Arbitrary a => [a]