[ re #1465 ] Two more modules that are no longer --safe#1498

MatthewDaggitt merged 1 commit intoagda:experimentalagda/agda-stdlib:experimentalfrom

jespercockx:experimentaljespercockx/agda-stdlib:experimentalCopy head branch name to clipboard