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