Type1とType2の型は同じなんだけどなぁ

data Type0 a = T0 {uncmn :: a, cmn :: Common}
num t1 = uncmn t1 :: Int
name t2 = uncmn t2 :: String