module A where
import {-# SOURCE #-} B

a x = b x