``` (++) a <| fn b --> a ++ (fn b) fn b |> (++) a --> a ++ (fn b) ``` (fixes are optional)