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