Описание тега constraint-kinds
Используйте этот тег, чтобы задать вопрос, связанный с расширением Constraint Kind и / или ConstraintKinds GHC.
ConstraintKinds - это расширение GHC Haskell. И это разновидность вида.
Интересные вопросы: