Parser<string,'u>は文字列を引数に取り、その文字列のためのパーザを返します。このパーザが入力ストリームに適用されると、入力ストリームにある後続の文字が与えられた文字列と一致するかどうかチェックします。文字が文字列全体と一致すると、パーザはその文字を消費、つまりその文字を読み飛ばします。なければ、入力を消費することなく失敗します。パーザが成功すると、パーザの結果として与えられた文字列を返しもしますが、文字列が定数である限りはこの結果を使うことはほとんどないでしょう。名付けられていません。いう一文字を先頭に付けています。この命名規約のもう一つの例です。いう文字をスキップするパーザです。Parser<'a,'u>これらのシグネチャから分かる通り、どちらの演算子も2引数のパーザから新しいパーザを構築するパーザコンビネータです。