import CI

a = f

-- MultiClassTest.hs:4:4:
--    No instance for (CI.A a D)
--      arising from a use of `f' at MultiClassTest.hs:4:4
--    Possible fix: add an instance declaration for (CI.A a D)
--    In the expression: f
--    In the definition of `a': a = f
-- Failed, modules loaded: CI.