>>294
ここでは例として Maybe を出しましたが、そういう基本的な型をインスタンスにしするのはあまり筋が良くないでしょうね。
実際にやろうとしていたのは自分で定義した2x2行列の型のべき乗なんです。
単に (^) を使いたいけどそのためには Num のインスタンスでなければならずかけ算だけは定義されていなければならないという状況です。