Stateモナドで状態の型を変える