|> package:rrb-vector

Add an element to the right end of the vector.
>>> fromList [1, 2, 3] |> 4
fromList [1,2,3,4]