>>697
自分でコントロールできる型はいいけど、
クラスのインスタンスが、単に必要なメソッドを提供するだけじゃなくて、
クラスが求める制約を満たす、って出来ないのかな。

モナド則を満たさないでMonadインスタンス作ったらコンパイルエラーとか。

プログラム停止性問題とか絡むのかな？