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.