How to use SE-0353 features? (Constrained Existential Types)

Similar question here.