Почему компилятор дает ошибку на следующий код haskell?

Question

Я пытаюсь изучить классы типов в haskell. Я пишу следующий скрипт и поднял ошибку. Я не могу понять, почему компилятор думает о v как конкретный тип, в то время как это просто параметр для класса Boxer.

data Box1 a b = Box1 Double a [b] 

class Boxer v where 
    foo :: (v a b) -> Double 

instance Boxer (Box1 a b) where 
    foo (Box1 r s t) = r 

он выдает ошибку в строке 7: 8:

Couldn't match type `v' with `Box1' 
    `v' is a rigid type variable bound by 
     the type signature for foo :: v a b -> Double at file1.hs:4:10 
Expected type: v a b 
    Actual type: Box1 a b 
Relevant bindings include 
    foo :: v a b -> Double (bound at file1.hs:7:3) 
In the pattern: Box1 r s t 
In an equation for `foo': foo (Box1 r s t) = r 
Failed, modules loaded: none. 

Answer 1

Особая проблема была вызвана неправильным отступом. Хотя было другое, что я делал неправильно. Таким образом, следующая версия компилируется:

data Box1 a b = Box1 Double a [b] 

class Boxer v where 
    foo :: (v a b) -> Double 

instance Boxer Box1 where 
    foo (Box1 r s t) = r 

Answer 2

В вашем случае, компилятор должен создать экземпляр v с Box1 a b. В частности, он должен создать экземпляр v a b с чем-то вроде (Box1 a b) a b –, за исключением как a переменные исходят из другого места; они фактически устраняются до (Box1 a b) a1 b1. Это то же самое, что и Box1 a b a1 b1.

foo :: Box1 a b a1 b1 -> Double 

В этом смысл?

Проблема заключается в том, что вы путаете функцию в (типа), а именноBox1 с результате применения указанной функции для некоторых аргументов типа. В виды не совпадают:

GHCi> :k Boxer 
Boxer :: (* -> * -> *) -> Constraint 
GHCi> :k (Box1 Int String) 
Box1 Int String :: * 

* -> * -> * является своего рода функция типа/типа конструктора с двумя аргументами, так это то, что Boxer потребности. В то время как Box1 a b - это просто тип, без аргументов. Не соответствует! OTOH,

GHCi> :k Box1 
Box1 :: * -> * -> *