[Haskell-cafe] Relations between Functor typeclass and kind
Gautier DI FOLCO
gautier.difolco at gmail.com
Thu Jun 19 07:36:56 UTC 2014
Some days ago, I was talking with someone about Kinds and GADTs.
At some point he mention that types with this Kind: (* -> *) are called
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...
More information about the Haskell-Cafe