Use a existential type for unpacking