6.8.1. Многопараметрические классы типов

MultiParamTypeClasses

Подразумевает:

ConstrainedClassMethods

Подразумевается:

FunctionalDependencies

С:

6.8.1

Статус:

Включено в GHC2024, GHC2021

Разрешают определение типов классов с более чем одним параметром.

Многопараметрические классы типов разрешены с расширением MultiParamTypeClasses. Например:

class Collection c a where
    union :: c a -> c a -> c a
    ...etc.