Cut down `Function` imports#2006

MatthewDaggitt merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

Saransh-cpp:simplify-Function-importsSaransh-cpp/agda-stdlib:simplify-Function-importsCopy head branch name to clipboard