>>792
＞data TTT = Hoge Int
＞eq :: (Eq a) => a -> a -> Bool　-- 誤った記述
＞eq (Hoge x) (Hoge y) = x == y
＞これができないのは、実際に表示されるエラーメッセージが示すように、
＞型変数 a を TTT 型と推論できないからだ


Eq a => なのにも関わらず、未だEqでないものを関数eqの引数にしてるからではないのですか？