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.