fixes #1437, supersedes #1836#1916

MatthewDaggitt merged 2 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:issue1437jamesmckinna/agda-stdlib:issue1437Copy head branch name to clipboard