(они все :: stuff -> Type), и type-level data (это всякие промоутнутые вещи, вроде `’True`)
> Constraint — тип?
Да
Eq Int, населяющее Constraint — это данное?
Обсуждают сегодня