1 2 3 4 5 6 7 8
module B where import {-# SOURCE #-} A (TA (..)) data TB = MkTB !Int g :: TA -> TB g (MkTA x) = MkTB x