GHC не разрешает корректное ограничение в методах типов (ошибка/ограничение ghc?)

Question

GHC не разрешает/не распространяет ограничение в реализации по умолчанию некоторых моих членов класса. Поведение действительно странно, и мне кажется, что это ошибка.

Может кто-нибудь помочь мне/объяснить мне, что случилось?

1. Как я могу сказать GHC унифицировать a из декларации класса и a из метода класса, так что определение не является неоднозначным
2. Есть ли что-то я не понимаю?

код:

module Foo where 
import Data.Proxy 

data Stuff a = Stuff 
    {content :: String} 

class HasStuff a where 
    stuff :: Stuff a 

    -- This works 
    useStuffOK :: Proxy a -> (Stuff a) 
    useStuffOK _ = (stuff) 

    -- those don't work, 
    -- (but I think ghc has all the information necessary to figure it out) 
    useStuffBAD :: Proxy a -> (Stuff a, String) 
    useStuffBAD _ = (stuff, content (stuff :: Stuff a)) 
    -- Could not deduce (HasStuff a1) arising from a use of ‘stuff’ 
    -- from the context (HasStuff a) 
    -- bound by the class declaration for ‘HasStuff’ 
    -- at Test.hs:(7,1)-(17,45) 

    useStuffBAD2 :: Proxy a -> String 
    useStuffBAD2 _ = content (stuff :: Stuff a) 
    -- Could not deduce (HasStuff a1) arising from a use of ‘stuff’ 
    -- from the context (HasStuff a) 
    -- bound by the class declaration for ‘HasStuff’ 
    -- at Test.hs:(7,1)-(17,45) 

instance HasStuff Int where 
    stuff = Stuff "ok" 

-- inference works here 
x :: Stuff Int 
x = stuff 

-- works here too 
x :: String 
x = content (stuff :: Stuff Int) 

Спасибо

Answer 1

в @epsilonhalbe и @ user2407038 указал, что я пропускал расширение ScopedTypeVariables