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