module A where import {-# SOURCE #-} B a = b