FSharp assertion examples post