More tests of the ToList fix (existential & second-order higher kinded types)