如何使用 FParsec 解析固定字符串

问：

我正在尝试使用 FParsec 解析固定字符串。例如，从文档中解析 null：

open FParsec

type Json = JNull
let jnull : Parser<_>  = stringReturn "null" JNull

然后运行给出预期的结果jnull"null"

> run jnull "null";;
val it : ParserResult<Json,unit> = Success: JNull

但是如果我在上面运行它，它也会成功"nulls"

> run jnull "nulls";;
val it : ParserResult<Json,unit> = Success: JNull

然后我尝试添加一个空格后跟的要求：null

let jnull : Parser<_>  = stringReturn "null" JNull >>. spaces

但是，这给了我和以前一样的结果。

我还尝试使用：manyMinMaxSatisfyL

let jnull: Parser<_> =
        manyMinMaxSatisfyL 4 4 isLower "should be null"
        >>. pstring "null"
        >>. spaces

这个失败了，但也应该失败："nulls""null"

> run jnull "nulls";;
val it : ParserResult<unit,unit> =
  Failure:
Error in Ln: 1 Col: 5
nulls
    ^
Expecting: 'null'

> run jnull "null";; 
val it : ParserResult<unit,unit> =
  Failure:
Error in Ln: 1 Col: 5
null
    ^
Note: The error occurred at the end of the input stream.
Expecting: 'null'

我在这里做错了什么？还是我完全误解了解析？