`ab + (fun1(..fun2(.3 . + . fun3(4+(5+6)).)..)