gluon_base::types
pub fn walk_type<I, T, F>(typ: &T, f: F) where F: FnMut(&T), T: Deref<Target=Type<I, T>>