>>797
言葉が、というか記述が足りなかったな

data TTT = Hoge Int
　　　　 deriving Eq

eq :: (Eq a) => a -> a -> Bool
eq (Hoge x) (Hoge y) = x == y

このようにしても同じエラーがおきる

TTT 型自体は Eq のインスタンスなんだが、
eq 関数において型変数 a から TTT 型を推論できないというエラーだ