module T10637 where import {-# SOURCE #-} A () data B = B