Modelling State in F#