Bring back a convenient short-cut for infix Func#2239

MatthewDaggitt merged 5 commits intomasteragda/agda-stdlib:masterfrom

bring-back-shortcutagda/agda-stdlib:bring-back-shortcutCopy head branch name to clipboard