pub type PureProj<Elim> = ElimProj<Proj<Pure<Elim>>>;
struct PureProj<Elim> { pub proj: Proj<Pure<Elim>>, }
proj: Proj<Pure<Elim>>