Allow reification of existentials and GADTs