8 lines
106 B
Haskell
8 lines
106 B
Haskell
module B where
|
|
|
|
import {-# SOURCE #-} A (TA (..))
|
|
|
|
data TB = MkTB !Int
|
|
|
|
g :: TA -> TB
|
|
g (MkTA x) = MkTB x
|