change validation to FSharpx