diff --git a/src/Examples/Contrived.hs b/src/Examples/Contrived.hs
index 700be6b..224e4d1 100644
--- a/src/Examples/Contrived.hs
+++ b/src/Examples/Contrived.hs
@@ -3,8 +3,7 @@ module Examples.Contrived where
 
 import           Teacher
 
-import           NLambda      hiding (a, b, c, d, e, f, g, h, i, j, k, l, m, n,
-                               o, p, q, r, s, t, u, v, w, x, y, z)
+import           NLambda
 
 -- Explicit Prelude, as NLambda has quite some clashes
 import           Data.Either  (Either (..))
diff --git a/src/Main.hs b/src/Main.hs
index 06d9871..6980125 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -6,8 +6,7 @@
 import           Examples
 import           Teacher
 
-import           NLambda          hiding (a, b, c, d, e, f, g, h, i, j, k, l, m,
-                                   n, o, p, q, r, s, t, u, v, w, x, y, z)
+import           NLambda
 
 import           Data.List        (inits)
 import           Data.Maybe       (fromJust)
diff --git a/src/Teacher.hs b/src/Teacher.hs
index 19516ec..d1c63bf 100644
--- a/src/Teacher.hs
+++ b/src/Teacher.hs
@@ -5,9 +5,7 @@
 
 module Teacher where
 
-import           NLambda                 hiding (a, b, c, d, e, f, g, h, i, j,
-                                          k, l, m, n, o, p, q, r, s, t, u, v, w,
-                                          x, y, z)
+import           NLambda
 
 -- Explicit Prelude, as NLambda has quite some clashes
 import           Data.Function           (fix)