That way Functor wouldn’t be a Higher Kinded Type ...

# arrow

[Miguel Coleto]

That way Functor wouldn’t be a Higher Kinded Type because when defining it you need to tell which is the underlying type (A) losing abstraction