Hi all,

Some days ago, I was talking with someone about Kinds and GADTs.
At some point he mention that types with this Kind: (* -> *) are called Functors.
So, is there any relations between Functor typeclass and Functor kind?
Is it considered as a "pattern"? if so, are there some other ones? If you have any link on this, I'll take them.

Thanks in advance for your help.