Могу ли я ограничить параметрический полиморфный тип конструктора типов/данных в Haskell?

Question

У меня есть параметризованный тип, который я хотел бы, чтобы ограничить к числовому типу, более конкретно Fractional, например:

data Rating a = (Fractional a) => Score a | Unscored deriving (Show, Eq) 

так что пользователь API может определить, какой нецелый типа они могут использовать (Float или Double?), Но внутренний код API, который я пишу, все равно может выполнять арифметические операции над числовым типом. Я не хочу, чтобы это целое число, потому что результаты моих «внутренних операций» могут быть не целыми числами, и я понимаю, что использование Fractional приведет к более точным результатам.

Компиляция выше (в GHCI по крайней мере) дает мне следующую ошибку:

Data constructor `Score' has existential type variables, a context, or a specialised result type 
    Score :: forall a. Fractional a => a -> Rating a 
    (Use ExistentialQuantification or GADTs to allow this) 
In the definition of data constructor `Score' 
In the data declaration for `Rating' 

, который подсказывает мне, что я делаю что-то, что я, вероятно, не хотят продолжать попытки; т. е. мой дизайн - мусор.

Я предполагаю, что я пытаюсь сказать следующее в этом API: «когда вы используете тип рейтинга, его параметр должен быть подклассом Fractional, поэтому я могу выполнить точные арифметические действия». Как я могу это достичь? Или я не в курсе и/или переоснащение?

Answer 1

Как говорит ошибка, вы можете сделать это с GADTs:

{-# LANGUAGE GADTs, StandaloneDeriving #-} 

data Rating a where 
    Score :: (Fractional a) => a -> Rating a 
    Unscored :: Rating a 

deriving instance (Show a) => Show (Rating a) 
deriving instance (Eq a) => Eq (Rating a) 

-- No need for a context here! 
halfScore :: Rating a -> Rating a 
halfScore (Score a) = Score (a/2) 
halfScore Unscored = Unscored 

StandaloneDeriving необходимо потому, что GHC не может получить Show и Eq для GADTs иначе.

Answer 2

Вы не должны ставить ограничение Fractional на тип данных, а на функции, которые с ним работают. Так

data Rating a = Score a | Unscored deriving (Show, Eq) 

makeSomeRating :: Fractional a => a -> Rating a 
makeSomeRating x = Score (x/2) -- can use Fractional functions here 

doSomethingElseWithRating :: Fractional a => Rating a -> Something