I have put up an implementation:
https://github.com/takano-akio/ghc/commits/argumentdo

Shall I submit the patch on the Phabricator, or should this go through
the new proposal submission process?

Regards,
Takano Akio