1 2 3 4 5 6 7 8 9 10
module X (x, D1(..), D2(..)) where data D1 = D { f :: D2 } -- deriving Show data D2 = A | B -- deriving Show x :: D1 x = D { f = A }