自分でも何言ってるかわかんないんだけど、
data Hoge a をモナドにしたい。
つまり、instance Monad Hoge where を書きたい。
で、そのとき Hoge a の結果の型aに制約をつけることって出来るかな？Eq aみたいな。