[swannodette]

Except you can't unpack existential types, right? http://stackoverflow.com/questions/2300275/how-to-unpack-a-h...

[dons]

Unpack in this sense means "unbox", and you can specialize before you hide the type.