More robust pulling from the Agda standard library.