My customized version of the Agda standard library