pub fn range(t: Type) -> Type