How to use SE-0353 features? (Constrained Existential Types) - #7 by John_McCall I think you mean this?