Is there another possible instance of a functor of this type

Question

I have the feeling that for any ADT, there is only one possible instance of Functor.

Since the function (a -> b)for fmaphas only one type for work, and it always changes all visibility a, as it converts F ato F b.

Is this statement true?