For point #4, you can use a "backwards application" operator like F#'s |> x |> h |> g |> f |> is defined by (x |> f) = (f x). I often find myself defining

For point #4, you can use a "backwards application" operator like F#'s |> x |> h |> g |> f |> is defined by (x |> f) = (f x). I often find myself defining it myself when it is not in the standard library of my FP language du jour.