pub fn iter(t: Type) -> Type