Можно ли объявить ограниченный тип данных с использованием синтаксиса записей?

Question

Можно ли объявить constrained data type с помощью record syntax? Моя попытка

data ConstrainedRecord a where 
    ConstrainedRecord :: Num a => { first :: a, second :: a } 

заставляет GHC жаловаться «Синтаксис записи здесь незакончен».

Answer 1

Да, но в GADT syntax вы всегда должны явно указать тип возвращаемого конструктора:

(Кроме того, это может пригодиться:

deriving instance (Show a) => Show (ConstrainedRecord a) 

используя StandaloneDeriving, так как нормальный deriving не работает.)