Lifting the "Self or associated type" constraint on existentials

(See other thread.)