From a277ad4857c6f48e17fd093298d9bf0fecf17ef8 Mon Sep 17 00:00:00 2001
From: Anton-Latukha <anton.latukha@gmail.com>
Date: Wed, 18 Nov 2020 22:26:03 +0200
Subject: [PATCH] shell.nix: add explanation why explicit defaults set

---
 shell.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/shell.nix b/shell.nix
index 501ae7b..4f35b64 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,5 +1,6 @@
 attrs@{...}:
 let defaultAttrs = {
+  # Defaults are put in this form deliberately. Details: #748
   withHoogle = true;
   compiler = "ghc8101";
 };