module A where

import B( TB(..) )

newtype TA = MkTA Int
    
f :: TB -> TA
f (MkTB x) = MkTA x