I knew the explanation didn't cover `IO ()` and some other corner cases, I hinted at the fuller understanding in the second half of my comment. I was trying to

I knew the explanation didn't cover `IO ()` and some other corner cases, I hinted at the fuller understanding in the second half of my comment. I was trying to avoid the low-effort dismissal you put forth by saying it was a very silly explanation. What do you think you've accomplished?