Not quite. Note that the Elixir pipe puts the left hand of the pipe as the first argument in the right-hand function. E.g. x |> f(y) = f(x, y) As a result

Not quite. Note that the Elixir pipe puts the left hand of the pipe as the first argument in the right-hand function. E.g. x |> f(y) = f(x, y) As a result, the Elixir variant cannot be defined as a well-typed function, but must be a macro.