Heterogenous list with existential type.