maybe bind という定義、冗長だった。 maybe-unit はあってもいいかもしれない。