モナド変換子も作った。