add applicative stype with fsharp