module Qual where

f :: a -> ()
f x = g (Qual.g x)
  where g y = y

g :: a -> ()
g _ = ()