[ refactor ] fix #2865#2954

jamesmckinna wants to merge 2 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:issue2865jamesmckinna/agda-stdlib:issue2865Copy head branch name to clipboard