The answer is I guess that the structure map is not a ploymorphic function and thus i and a in the above question are of the same type.