レコード構文を使用して制約付きデータ型を宣言できますか？

Question

を使用してconstrained data typeを宣言できますか？私の試み

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

"レコードの構文はここでは違法です"。

Answer 1

はい、しかしGADT syntaxに、あなたは常に明示的にコンストラクタの戻り値の型を指定する必要があります。

（また、これは便利来るかもしれない：

StandaloneDerivingを使用して

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

、正常なので、 derivingは機能しません）