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