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