Stateモナドって状態を構造化したものじゃなくて状態付き「計算」(であるかのように見えるラムダ式のネストとbind)を構造化したもの
っていう認識であってる?