Unpack existential via case expression.

Thanks Paul!