the notation "-> a()" is now simplified to "a"

unsure whether it’s worth it, it’s clearer for some aspects and less
clear for others.