モナドの一つの側面は
一度その型で始めたら途中変更は利きませんからね
って事ですかね