Definition of combinators |> and @@