Order inference project in F#