diff --git a/default.nix b/default.nix
index 0983b7c..5222982 100644
--- a/default.nix
+++ b/default.nix
@@ -76,8 +76,8 @@
 , executableNamesToShellComplete ? [ "hnix" ]
 
 
-# Include Hoogle into derivation
-, withHoogle  ? true
+# Include Hoogle executable and DB into derivation
+, withHoogle  ? false
 
 
 # Nix by default updates and uses locally configured nixpkgs-unstable channel
diff --git a/shell.nix b/shell.nix
index 0e50343..4f35b64 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1 +1,7 @@
-{} @ attrs: (import ./. attrs).env
+attrs@{...}:
+let defaultAttrs = {
+  # Defaults are put in this form deliberately. Details: #748
+  withHoogle = true;
+  compiler = "ghc8101";
+};
+in (import ./. (defaultAttrs // attrs)).env