j1 to fsharp