Non-idiomatic F#