モナドを作り直す！！
この定義必要なかった。
Maybe モナド。
namespace の指定してなかった
rules の追加。
monadとmaybeに関するtest描いた。