带有中缀运算符名称的参数？

Question

在 Haskell 中，我们可以使用中缀运算符作为参数名称，例如：

f :: (Int -> Int -> Int) -> Int
f (|+|) = 3 |+| 4

是否可以在 Idris 2 中做类似的事情？ 我尝试了以下方法：

f : (Int -> Int -> Int) -> Int
f (|+|) = 3 |+| 4

但它失败了：

 Unknown operator '|+|' slice:2:11--2:18 1 | f : (Int -> Int -> Int) -> Int 2 | f (|+|) = 3 |+| 5 ^^^^^^^