ex4 =
  f1 $
    arg1 $
      arg2 $ do
        arg3

ex6 =
  f1 $
    arg1 $
      arg2 $
        do arg3