data A t = A {a :: t}
data B t = B {b :: t}
data Hoge = Hoge {
hoge :: A (
B Int
)
}