Definicja typu rodzajowego, który typ parametrów działania jako symbole zastępcze dla typów, które użytkownik dostarcza podczas tworzenia wystąpień, aby użyć. Te wystąpienia są wystąpienia definicji typu rodzajowego, ale zbudowane typu utworzone przez określenie typu argumentów.