pub fn deriveType(var: &Var, data: &InstanceData) -> DerivedType