It's not that I don't want to see pragmas. I don't want to see them when I am not interested in them. They are important annotations, but annotations nonetheless.
So when I want to zero in on the annotations I can, and when I wish to ignore them and look at the pure function signature, I can do that too. Either way, no time is wasted disentangling on from the other. Both the function and the pragma become easier to read. You can just as easily make the challenge above "Tell me the arguments and the return types of the functions as quickly as you can". You'll be able to do that faster in the 2nd example too.
