{ pkgs ? import <nixpkgs> { } }:
with pkgs;
mkShell {
  buildInputs = [
    (agda.withPackages [ 
      agdaPackages.standard-library 
      (agdaPackages.agda-categories.overrideAttrs (oldAttrs : {
        version = "0.1.8";
        src = fetchFromGitHub {
          repo = "agda-categories";
          owner = "Reijix";
          rev = "102a0c46c7c9be4e47085b745abd1c486b86f0e7";
          hash = "sha256-1LzbtsqEPSfAyOztqNOG/pT6g1zsyc6lY2NwQqBZQZ8=";
        };
      }))
    ])
  ];

  shellHook = ''
    # ...
  '';
}