If the pipe is simple sugar then it trivial to fit into a type system.

    let x |> f  = f x