۱۲ - ۶تعاریف

تایپ گونه‌بالا یا higher-kinded type هر تایپی‌ه در کایند ِش فِلشِ تابعی داره و میشه بهش نوع‌ساز گفت (بجای ثابتِ تایپ). تایپ‌های، زیر گونه ِ بالاتری نسبت به ‏‎*‎‏ دارن:

Maybe  :: * -> *
[]     :: * -> *
Either :: * -> * -> *
(->)   :: * -> * -> *

اینها گونه ِ بالاتری ندارن:

Int    :: *
Char   :: *
String :: *
[Char] :: *

این نباید با پلی‌مورفیسم ِ گونه‌بالا (که بعداً میگیم) اشتباه گرفته بشه.