This code compiles and prints 5.
Some 5 |> function | Some b -> b | None -> 0 |> printfn "%d"
Now if define a