Test making the existential type parameter issue clear.