module Qualified where
import qualified QualifiedA

class F a where
    f :: a

instance F QualifiedA.A where
  f = undefined