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