(import ./default.nix {withHIE = true;}).shell