/usr/share/agda/lib/standard-library.agda-lib