desugars lhs |> rhs(...) one level to rhs(lhs, ...), for literal-shape inspection
lhs |> rhs(...)
rhs(lhs, ...)
desugars
lhs |> rhs(...)one level torhs(lhs, ...), for literal-shape inspection