Przykładami typów rodzaju są całkowitoliczbowe typy danych, logiczne typy danych, a w funkcyjnych językach programowania typy monomorficznych funkcji. jest rodzajem jednoargumentowego konstruktora typu, przykładem czego może być lista. jest rodzajem konstruktora typu o dwóch parametrach (przekazywanych poprzez currying), przykładowo pary lub typu funkcji (nie mylić z wynikiem jego aplikacji, który jest „gotowym” typem funkcji, a więc rodzaju ). jest rodzajem unarnego operatora wyższego rzędu parametryzowanego jednoargumentowymi konstruktorami typów.Pierce (2002), chapter 32 Przykładem takiego operatora może być tablica mieszająca mapująca liczby na liczby parametryzowana typem kontenera („bucket”) użytego do rozwiązywania kolizji.
Rodzaje w Haskellu (Uwaga : dokumentacja Haskella używa tej samej strzałki zarówno dla typów, jak i rodzajów funkcji.)
System rodzajów Haskella 98 Kinds - The Haskell 98 Report obejmuje dokładnie dwa rodzaje:
, wymawiane "typ" to rodzaj wszystkich typów danych. jest rodzajem konstruktora typu, który przyjmuje typ rodzaju i produkuje rodzaj rodzaju .