This was in response to a post I made and I would really really like to see something like this in ghc (I don't particularly care if f is IO a or IO (), though).

Ack! This kind of change would be good, but it doesn't go quite far enough. In my opinion, you should be able to specify --main=M.f, where M is any module and f is anything of type IO a for some a.