ScopedTypeVariables nicht Typvariablen in Umfang bringen

Question

Hier ist eine einfache Funktion, die Ausrichtung eines Zeigers zurück:

{-# LANGUAGE ScopedTypeVariables #-} 

import Foreign.Ptr (Ptr) 
import Foreign.Storable (Storable, alignment) 

main = return() 

ptrAlign1 :: (Storable a) => Ptr a -> Int 
ptrAlign1 _ = alignment (undefined :: a) 

Aber ich erhalte den folgenden Fehler:

Could not deduce (Storable a0) arising from a use of `alignment' 
from the context (Storable a) 
    bound by the type signature for 
      ptrAlign1 :: Storable a => Ptr a -> Int 
    at prog.hs:8:14-41 
The type variable `a0' is ambiguous 

Wenn ich ptrAlign umschreiben in eine unordentlichere Fraktion wie folgt:

ptrAlign2 :: (Storable a) => Ptr a -> Int 
ptrAlign2 = ptrAlign3 undefined where 
    ptrAlign3 :: (Storable a) => a -> Ptr a -> Int 
    ptrAlign3 x _ = alignment x 

Es funktioniert gut (natürlich diese Version braucht nicht einmal ScopedTypeVariables).

Aber ich bin immer noch neugierig, warum die erste Version einen Fehler wirft, und was kann getan werden, um es zu lösen?

Answer 1

Auch bei ScopedTypeVariables eingeschaltet, geben Sie Variablen sind in ihrem Umfang nicht setzen, wenn Sie sie explizit quantifizieren, das heißt

ptrAlign1 :: forall a. (Storable a) => Ptr a -> Int 
ptrAlign1 _ = alignment (undefined :: a)