A.hs

module A (A.f) where
import B as A

class C where
    f :: a -> a