¿Por qué Haskell inferiría un tipo específico (aparentemente) inconsistentemente?

Question

Estoy en el proceso de escribir una biblioteca de vectores de juguetes (física) y tengo problemas con las funciones de insistencia de GHC que deberían tener Integer s en su tipo. Quiero vectores para multiplicar vectores, así como escalares (simplemente utilizando *), y si bien esto era posible con sólo tener Vector ejemplo Num Ahora estoy consiguiendo errores del tipo:

Couldn't match expected type `Integer' with actual type `Double' 

Después de jugar un poco con el código con el fin de precisar el problema he conseguido que reduce a esto:

data V a = V a a a deriving (Show, Eq, Functor) 
scale a (V i j k) = V (a*i) (a*j) (a*k) 
(<.>) = scale 

Ahora bien, si nos preguntamos qué tipo GHCi estos son obtenemos:

>:t scale 
scale :: Num a => a -> V a -> V a 
>:t (<.>) 
(<.>) :: Integer -> V Integer -> V Integer 

Donde ciertamente no queremos <.> solo actuando en Integer s. Si bien esto se puede solucionar aquí incluyendo una firma de tipo para <.>, me gustaría saber qué está sucediendo realmente.

Answer 1

Te encuentras con el infame . Otra solución sería especificar explícitamente argumentos:

a <.> v = scale a v 

O añadir -XNoMonomorphismRestriction pragma.