adding fsharpx package, foolishly forgotten...