Parsecドキュメントは次のように述べています<|>
このコンビネータは選択を実装します。パーサー p <|> q は最初に p を適用します。成功すると、p の値が返されます。p が入力を消費せずに失敗した場合、パーサー q が試行されます。このコンビネータは、MonadPlus クラスの mplus メンバーおよび Control.Applicative.Alternative の (Control.Applicative.<|>) メンバーと同等に定義されています。
のバックトラッキング バージョンを実装する方法は<|>? 完全な入力に再度適用できる pように、任意の入力を消費するとバックトラックします。q