module BC.B ( b ) where import A.A ( a ) b :: () b = a