more fsharp tweaks