1. /nix/store/a53ja2a8jflrhzygdxw8gmrpl3mxfy1r-user-environment
  2. ╚═══bin/agda -> /nix/store/nl7rc8mnavz6j6a955c28p5krx4hj758-Agda-2.5.4.1/bin/agda
  3. => /nix/store/nl7rc8mnavz6j6a955c28p5krx4hj758-Agda-2.5.4.1