1 2 3 4 5 6 7
{-# LANGUAGE RankNTypes #-} module C (f, g) where import A import B {-# RULES "f/g" forall x . f (g x) = x #-}