[Haskell-cafe] Relations between Functor typeclass and kind

[Gautier DI FOLCO]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140619/8e62a81e/attachment.html>