{-# LANGUAGE RecordWildCards #-}
module A where
import B
data E = MkE
p (H{..}) = ()