>>799
これでも同じエラーが起きる

data TTT = Hoge Int
　　　　 deriving Eq

eq :: (Eq a) => a -> a -> Bool
eq (Hoge x) (Hoge y) =
　let x' = 3 :: Int
　　　y' = 2 :: Int
　in x' == x && y' == y