ex5 =
    f1 $
        arg1 $
            arg2 $ \c ->
                3 * c

ex7 =
    f1 $
        arg1 $
            arg2 $
                \c -> 3 * c