레코드 구문을 사용하여 제한된 데이터 형식을 선언 할 수 있습니까?

Question

을 사용하여 constrained data type을 선언 할 수 있습니까? 내 시도

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이 작동하지 않습니다.)