pub fn remove_forall<'a, Id, T>(typ: &'a T) -> &'a Twhere
    T: TypePtr<Id = Id>,
    Id: 'a,