diff --git a/CHANGES.md b/CHANGES.md
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,8 @@
+0.3.0
+=====
+
+* Hide `Nat` export.
+
 0.2.0.1
 =======
 
diff --git a/Prelude.hs b/Prelude.hs
deleted file mode 100644
--- a/Prelude.hs
+++ /dev/null
@@ -1,9 +0,0 @@
--- | This module essentially replaces the default Prelude with Universum.
---
--- It works because we are using the 'base-noprelude' package instead of 'base'.
-
-module Prelude
-       ( module Universum
-       ) where
-
-import Universum hiding (Key, Type, Val, readFile, writeFile)
diff --git a/Unsafe.hs b/Unsafe.hs
deleted file mode 100644
--- a/Unsafe.hs
+++ /dev/null
@@ -1,8 +0,0 @@
--- | Unsafe utilities.
---
--- This module should be imported qualified.
-module Unsafe
-       ( module Universum.Unsafe
-       ) where
-
-import Universum.Unsafe
diff --git a/morley-prelude.cabal b/morley-prelude.cabal
--- a/morley-prelude.cabal
+++ b/morley-prelude.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: cc5648038f16d9a13ab95d9716096665f112b744e9c0c780c2eafd213d1d7c8e
+-- hash: f1bd0f2d51319f38e08071207ba32571370dbf4a1b4a16f488fef78f94f60d2e
 
 name:           morley-prelude
-version:        0.2.0.1
+version:        0.3.0
 synopsis:       A custom prelude used in Morley
 description:    A custom prelude used in Morley. It re-exports the Universum prelude and makes some tiny changes.
 category:       Prelude
@@ -35,9 +35,9 @@
   autogen-modules:
       Paths_morley_prelude
   hs-source-dirs:
-      ./.
+      src
   default-extensions: ApplicativeDo AllowAmbiguousTypes BangPatterns ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable EmptyCase FlexibleContexts FlexibleInstances GADTs GeneralizedNewtypeDeriving LambdaCase MonadFailDesugaring MultiParamTypeClasses MultiWayIf NamedFieldPuns NegativeLiterals NumDecimals OverloadedLabels OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes RecordWildCards RecursiveDo ScopedTypeVariables StandaloneDeriving TemplateHaskell TupleSections TypeApplications TypeFamilies TypeOperators UndecidableInstances ViewPatterns
-  ghc-options: -Weverything -Wno-missing-exported-signatures -Wno-missing-import-lists -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unsafe -Wno-safe -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude
+  ghc-options: -Weverything -Wno-missing-exported-signatures -Wno-missing-import-lists -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unsafe -Wno-safe -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude -O0
   build-depends:
       base-noprelude >=4.7 && <5
     , universum
diff --git a/src/Prelude.hs b/src/Prelude.hs
new file mode 100644
--- /dev/null
+++ b/src/Prelude.hs
@@ -0,0 +1,9 @@
+-- | This module essentially replaces the default Prelude with Universum.
+--
+-- It works because we are using the 'base-noprelude' package instead of 'base'.
+
+module Prelude
+  ( module Universum
+  ) where
+
+import Universum hiding (Key, Nat, Type, Val, readFile, writeFile)
diff --git a/src/Unsafe.hs b/src/Unsafe.hs
new file mode 100644
--- /dev/null
+++ b/src/Unsafe.hs
@@ -0,0 +1,8 @@
+-- | Unsafe utilities.
+--
+-- This module should be imported qualified.
+module Unsafe
+       ( module Universum.Unsafe
+       ) where
+
+import Universum.Unsafe