Are () -> () and (()) -> () supposed to be interchangeable or not?

Thank you so much for this detailed explanation! It seems that I won’t be able to "weakify" such void taking and returning methods akin to thread.
I guess I have some reading of evolution proposals to do :)