テストするの忘れてた。
とりあえず、モナド内包表記とlistモナド実装。これで (do-mzip (x | x <- '(1 2 3))) とかできるようになった。
これなんか名前空間を安全にしといた宝貝行きがする。 >> を再定義したければ rule をうわがけばいいしいいし。