Gautier DI FOLCO | 19 Jun 09:36 2014
Picon

Relations between Functor typeclass and kind

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.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Gmane