module E(B(B)) where import {-# SOURCE #-} B