[wip]モナドについて書いてみた

もしかしたら一旦rejectするかも
「`(>>=)` を bindと呼ぶ」という話はでてるものの、定義するのはあくまで`(>>=)`では?