module B where import {-# SOURCE #-} A data H = H { h :: E }