pub fn unroll(t: &Type) -> Type