From 7ce602148ad01fcea7035fd6e0da0caa6c468017 Mon Sep 17 00:00:00 2001
From: Haisheng W - M <haisheng@mercury.com>
Date: Wed, 7 Sep 2022 20:21:53 -0700
Subject: [PATCH] Add missing import Data.Proxy

---
 .gitignore               | 2 ++
 code/Generic/HKDNames.hs | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index a48c4cb..37564c6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,3 +21,5 @@ _minted-*/
 *.out
 .fracked/
 *.epub
+.stack-work
+dist-newstyle
\ No newline at end of file
diff --git a/code/Generic/HKDNames.hs b/code/Generic/HKDNames.hs
index 2485187..ea1af11 100644
--- a/code/Generic/HKDNames.hs
+++ b/code/Generic/HKDNames.hs
@@ -11,7 +11,7 @@ import Generics.Kind
 import Generics.Kind.TH
 import Data.Functor.Const
 import GHC.TypeLits
-
+import Data.Proxy
 
 data Person f = Person
   { personAge  :: f Int