ラムダ式に反駁できないチルダ（ `〜`）パターンを使用することはできますか？

Question

GHCは、私が名前の関数で

let step = \~(x,s) -> run (f x) s -- Parse Error 

let step ~(x, s) = run (f x) s -- Works fine 

Answer 1

を行うことができますようにラムダ式のパターンにチルダを置くしようとした場合は、ラムダとチルダ

の間にスペースを追加する必要が私に parse error on input \~を与えます

\ ~(x,s) -> run (f x) s 

\

と~ユーザ定義演算子に有効な文字の両方であるので、混乱の源SO \~代わりに、ラムダ式の開始として解析されるの一つとして解析される。

-- Defining a custom \~ operator is allowed: 
let a \~ b = {- ... -}