Pre-Proposal: Implication instances

Hrm:

Just out of curiosity: having seen this post…was ApplicativeDo one of the “selling points” of the F-A-M transition? The restrictions needed to use it does seem (to me, anyway) to provide further evidence against that proclamation.