diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,34 @@
 
 ## [Unreleased]
 
+## [1.0.2.0] - 2026-01-07
+
+### Added
+
+- `Himari.Prelude.Arrow`: `Control.Arrow` re-exports (hiding conflicting symbols)
+- `Himari.Prelude.Catch`: `Control.Monad.Catch` re-exports (hiding UnliftIO conflicts)
+- `Himari.Prelude.Data`: `Data.Data` re-exports (hiding GHC.Generics conflicts)
+- `Himari.Prelude.Monoid`: `Data.Monoid`/`Data.Semigroup` re-exports (hiding conflicts)
+- `Himari.Prelude.TypeLevel`: type-level programming (`Data.Type.Coercion`, `Data.Type.Equality`)
+- `Himari.Prelude.FunctorSpec`: test module for functor-related exports
+- `Control.Arrow` re-export in `Himari.Prelude` (via `Himari.Prelude.Arrow`)
+- `Data.Coerce` re-export in `Himari.Prelude` for safe type coercion
+- `Data.Complex` re-export in `Himari.Prelude` for complex number support
+- `Data.Data` re-export in `Himari.Prelude` (via `Himari.Prelude.Data`) for generic programming
+- `Data.Fixed` re-export in `Himari.Prelude` for fixed-point arithmetic
+- `Data.Functor.Compose` re-export in `Himari.Prelude` for functor composition
+- `Data.Int` re-export in `Himari.Prelude` for sized integer types
+- `Data.Kind` re-export in `Himari.Prelude` for kind-level types (`Type`, `Constraint`)
+- `Data.Monoid`/`Data.Semigroup` re-export in `Himari.Prelude` (via `Himari.Prelude.Monoid`)
+- `Data.Proxy` re-export in `Himari.Prelude` for type-level proxy values
+- `Data.Type.Coercion`/`Data.Type.Equality` re-export (via `Himari.Prelude.TypeLevel`)
+- `Numeric.Natural` re-export in `Himari.Prelude` for non-negative integers
+
+### Changed
+
+- `Himari.Prelude.Aeson`: Hide overly general symbols
+- `Himari.Prelude.Catch`: Hide `Handler` to avoid conflicts
+
 ## [1.0.1.0] - 2026-01-06
 
 ### Added
diff --git a/fourmolu.yaml b/fourmolu.yaml
--- a/fourmolu.yaml
+++ b/fourmolu.yaml
@@ -21,16 +21,21 @@
   - module Himari.Prelude exports "base" Control.Monad
   - module Himari.Prelude exports "base" Control.Monad.ST
   - module Himari.Prelude exports "base" Data.Bifoldable
-  - module Himari.Prelude exports "base" Data.Bifunctor
   - module Himari.Prelude exports "base" Data.Bitraversable
   - module Himari.Prelude exports "base" Data.Bool
+  - module Himari.Prelude exports "base" Data.Coerce
+  - module Himari.Prelude exports "base" Data.Complex
   - module Himari.Prelude exports "base" Data.Either
   - module Himari.Prelude exports "base" Data.Eq
+  - module Himari.Prelude exports "base" Data.Fixed
   - module Himari.Prelude exports "base" Data.Foldable
   - module Himari.Prelude exports "base" Data.Function
+  - module Himari.Prelude exports "base" Data.Functor.Compose
+  - module Himari.Prelude exports "base" Data.Int
+  - module Himari.Prelude exports "base" Data.Kind
   - module Himari.Prelude exports "base" Data.Maybe
-  - module Himari.Prelude exports "base" Data.Monoid
   - module Himari.Prelude exports "base" Data.Ord
+  - module Himari.Prelude exports "base" Data.Proxy
   - module Himari.Prelude exports "base" Data.Ratio
   - module Himari.Prelude exports "base" Data.String
   - module Himari.Prelude exports "base" Data.Traversable
@@ -48,6 +53,7 @@
   - module Himari.Prelude exports "mtl" Control.Monad.Reader
   - module Himari.Prelude exports "mtl" Control.Monad.State.Strict
   - module Himari.Prelude exports "mtl" Control.Monad.Writer.CPS
+  - module Himari.Prelude exports "base" Numeric.Natural
   - module Himari.Prelude exports "pretty-simple" Debug.Pretty.Simple
   - module Himari.Prelude exports "pretty-simple" Text.Pretty.Simple
   - module Himari.Prelude exports "primitive" Control.Monad.Primitive
@@ -56,11 +62,16 @@
   - module Himari.Prelude exports "unliftio" UnliftIO
   # Himari.Prelude → 内部サブモジュール
   - module Himari.Prelude exports "himari" Himari.Prelude.Aeson
+  - module Himari.Prelude exports "himari" Himari.Prelude.Arrow
+  - module Himari.Prelude exports "himari" Himari.Prelude.Catch
   - module Himari.Prelude exports "himari" Himari.Prelude.Category
+  - module Himari.Prelude exports "himari" Himari.Prelude.Data
   - module Himari.Prelude exports "himari" Himari.Prelude.FilePath
   - module Himari.Prelude exports "himari" Himari.Prelude.Generics
+  - module Himari.Prelude exports "himari" Himari.Prelude.Monoid
   - module Himari.Prelude exports "himari" Himari.Prelude.Safe
   - module Himari.Prelude exports "himari" Himari.Prelude.Type
+  - module Himari.Prelude exports "himari" Himari.Prelude.TypeLevel
 
   # Himari.Prelude.Aeson → 外部モジュール
   - module Himari.Prelude.Aeson exports "aeson" Data.Aeson
@@ -82,8 +93,20 @@
   - module Himari.Prelude.Safe exports "safe" Safe.Exact
   - module Himari.Prelude.Safe exports "safe" Safe.Foldable
 
+  # Himari.Prelude.Arrow → 外部モジュール
+  - module Himari.Prelude.Arrow exports "base" Control.Arrow
+
+  # Himari.Prelude.Catch → 外部モジュール
+  - module Himari.Prelude.Catch exports "exceptions" Control.Monad.Catch
+
+  # Himari.Prelude.Data → 外部モジュール
+  - module Himari.Prelude.Data exports "base" Data.Data
+
+  # Himari.Prelude.Monoid → 外部モジュール
+  - module Himari.Prelude.Monoid exports "base" Data.Monoid
+  - module Himari.Prelude.Monoid exports "base" Data.Semigroup
+
   # Himari.Prelude.Type → 外部モジュール
-  - module Himari.Prelude.Type exports "exceptions" Control.Monad.Catch
   - module Himari.Prelude.Type exports "bytestring" Data.ByteString
   - module Himari.Prelude.Type exports "bytestring" Data.ByteString.Lazy
   - module Himari.Prelude.Type exports "bytestring" Data.ByteString.Short
@@ -100,6 +123,10 @@
   - module Himari.Prelude.Type exports "text" Data.Text.Lazy
   - module Himari.Prelude.Type exports "containers" Data.Tree
   - module Himari.Prelude.Type exports "vector" Data.Vector
+
+  # Himari.Prelude.TypeLevel → 外部モジュール
+  - module Himari.Prelude.TypeLevel exports "base" Data.Type.Coercion
+  - module Himari.Prelude.TypeLevel exports "base" Data.Type.Equality
 
 # 利用者向けの汎用的なfixity設定
 # hspecは既にfourmoluによってサポートされているため不要
diff --git a/himari.cabal b/himari.cabal
--- a/himari.cabal
+++ b/himari.cabal
@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name: himari
-version: 1.0.1.0
+version: 1.0.2.0
 synopsis: A standard library for Haskell as an alternative to rio
 description:
   A standard library for Haskell inspired by rio.
@@ -86,11 +86,16 @@
     Himari.Logger
     Himari.Prelude
     Himari.Prelude.Aeson
+    Himari.Prelude.Arrow
+    Himari.Prelude.Catch
     Himari.Prelude.Category
+    Himari.Prelude.Data
     Himari.Prelude.FilePath
     Himari.Prelude.Generics
+    Himari.Prelude.Monoid
     Himari.Prelude.Safe
     Himari.Prelude.Type
+    Himari.Prelude.TypeLevel
 
 test-suite himari-test
   import: basic
@@ -114,6 +119,7 @@
   other-modules:
     Himari.CharSpec
     Himari.Env.SimpleSpec
+    Himari.Prelude.FunctorSpec
     Himari.Title
     HlintBaseSpec
     HlintSamples.BasePartial
diff --git a/src/Himari/Prelude.hs b/src/Himari/Prelude.hs
--- a/src/Himari/Prelude.hs
+++ b/src/Himari/Prelude.hs
@@ -15,18 +15,23 @@
 import Control.Monad.State.Strict as Export
 import Control.Monad.Writer.CPS as Export
 import Data.Bifoldable as Export
-import Data.Bifunctor as Export
 import Data.Bitraversable as Export
 import Data.Bool as Export
+import Data.Coerce as Export
+import Data.Complex as Export
 import Data.Convertible as Export
 import Data.Either as Export
 import Data.Eq as Export
+import Data.Fixed as Export
 import Data.Foldable as Export
 import Data.Function as Export
+import Data.Functor.Compose as Export
 import Data.Hashable as Export
+import Data.Int as Export
+import Data.Kind as Export
 import Data.Maybe as Export
-import Data.Monoid as Export
 import Data.Ord as Export
+import Data.Proxy as Export
 import Data.Ratio as Export
 import Data.String as Export
 import Data.Time as Export
@@ -36,11 +41,17 @@
 import Data.Word as Export
 import Debug.Pretty.Simple as Export
 import Himari.Prelude.Aeson as Export
+import Himari.Prelude.Arrow as Export
+import Himari.Prelude.Catch as Export
 import Himari.Prelude.Category as Export
+import Himari.Prelude.Data as Export
 import Himari.Prelude.FilePath as Export
 import Himari.Prelude.Generics as Export
+import Himari.Prelude.Monoid as Export
 import Himari.Prelude.Safe as Export
 import Himari.Prelude.Type as Export
+import Himari.Prelude.TypeLevel as Export
+import Numeric.Natural as Export
 import System.Process.Typed as Export
 import Text.Pretty.Simple as Export
 import Text.Show as Export
diff --git a/src/Himari/Prelude/Aeson.hs b/src/Himari/Prelude/Aeson.hs
--- a/src/Himari/Prelude/Aeson.hs
+++ b/src/Himari/Prelude/Aeson.hs
@@ -6,16 +6,21 @@
 -- aeson has many functions with common names that may conflict,
 -- so we hide some and selectively import others.
 import Data.Aeson as Export hiding
-  ( decode
+  ( KeyValue
+  , Options
+  , decode
   , decode'
   , decodeFileStrict
   , decodeFileStrict'
   , decodeStrict
   , decodeStrict'
   , decodeStrictText
+  , defaultOptions
   , eitherDecode'
   , eitherDecodeFileStrict'
   , eitherDecodeStrict'
+  , object
+  , pairs
   , throwDecode'
   , throwDecodeStrict'
   , (.=)
diff --git a/src/Himari/Prelude/Arrow.hs b/src/Himari/Prelude/Arrow.hs
new file mode 100644
--- /dev/null
+++ b/src/Himari/Prelude/Arrow.hs
@@ -0,0 +1,6 @@
+-- | "Control.Arrow" re-exports, hiding symbols that conflict with "Data.Bifunctor".
+module Himari.Prelude.Arrow
+  ( module Export
+  ) where
+
+import Control.Arrow as Export hiding (first, second)
diff --git a/src/Himari/Prelude/Catch.hs b/src/Himari/Prelude/Catch.hs
new file mode 100644
--- /dev/null
+++ b/src/Himari/Prelude/Catch.hs
@@ -0,0 +1,27 @@
+-- | Re-exports from "Control.Monad.Catch" that don't conflict with "UnliftIO".
+--
+-- Functions that conflict with "UnliftIO" are hidden.
+-- Use 'catch', 'bracket', 'finally', 'mask', etc. from "UnliftIO" instead.
+module Himari.Prelude.Catch
+  ( module Control.Monad.Catch
+  ) where
+
+import Control.Monad.Catch hiding
+  ( Handler
+  , bracket
+  , bracketOnError
+  , bracket_
+  , catch
+  , catchJust
+  , catches
+  , finally
+  , handle
+  , handleJust
+  , mask
+  , mask_
+  , onException
+  , try
+  , tryJust
+  , uninterruptibleMask
+  , uninterruptibleMask_
+  )
diff --git a/src/Himari/Prelude/Data.hs b/src/Himari/Prelude/Data.hs
new file mode 100644
--- /dev/null
+++ b/src/Himari/Prelude/Data.hs
@@ -0,0 +1,6 @@
+-- | "Data.Data" re-exports, hiding symbols that conflict with "GHC.Generics".
+module Himari.Prelude.Data
+  ( module Export
+  ) where
+
+import Data.Data as Export hiding (Fixity, Infix, Prefix)
diff --git a/src/Himari/Prelude/Generics.hs b/src/Himari/Prelude/Generics.hs
--- a/src/Himari/Prelude/Generics.hs
+++ b/src/Himari/Prelude/Generics.hs
@@ -3,4 +3,4 @@
   ( module Export
   ) where
 
-import GHC.Generics as Export hiding (from, to)
+import GHC.Generics as Export hiding (Fixity, Infix, Prefix, from, to)
diff --git a/src/Himari/Prelude/Monoid.hs b/src/Himari/Prelude/Monoid.hs
new file mode 100644
--- /dev/null
+++ b/src/Himari/Prelude/Monoid.hs
@@ -0,0 +1,7 @@
+-- | "Data.Monoid" and "Data.Semigroup" re-exports, hiding conflicting symbols.
+module Himari.Prelude.Monoid
+  ( module Export
+  ) where
+
+import Data.Monoid as Export hiding (First, Last, getFirst, getLast)
+import Data.Semigroup as Export hiding (First, Last, getFirst, getLast)
diff --git a/src/Himari/Prelude/Type.hs b/src/Himari/Prelude/Type.hs
--- a/src/Himari/Prelude/Type.hs
+++ b/src/Himari/Prelude/Type.hs
@@ -1,16 +1,11 @@
 -- | Type-only re-exports from various modules.
 --
--- Includes types from "Control.Monad.Catch", "Data.ByteString", "Data.HashMap.Strict",
+-- Includes types from "Data.ByteString", "Data.HashMap.Strict",
 -- "Data.HashSet", "Data.IntMap.Strict", "Data.IntSet", "Data.List", "Data.List.NonEmpty",
 -- "Data.Map.Strict", "Data.Sequence", "Data.Set", "Data.Text", "Data.Tree", and "Data.Vector".
 module Himari.Prelude.Type
-  ( -- * Exception handling
-    MonadCatch
-  , MonadMask
-  , MonadThrow
-
-    -- * ByteString
-  , ByteString
+  ( -- * ByteString
+    ByteString
   , StrictByteString
   , LazyByteString
   , ShortByteString
@@ -37,7 +32,6 @@
   , Vector
   ) where
 
-import Control.Monad.Catch (MonadCatch, MonadMask, MonadThrow)
 import Data.ByteString (ByteString, StrictByteString)
 import Data.ByteString.Lazy (LazyByteString)
 import Data.ByteString.Short (ShortByteString)
diff --git a/src/Himari/Prelude/TypeLevel.hs b/src/Himari/Prelude/TypeLevel.hs
new file mode 100644
--- /dev/null
+++ b/src/Himari/Prelude/TypeLevel.hs
@@ -0,0 +1,9 @@
+-- | Type-level programming re-exports from "Data.Type.Coercion" and "Data.Type.Equality".
+--
+-- Hides conflicting symbols between the two modules.
+module Himari.Prelude.TypeLevel
+  ( module Export
+  ) where
+
+import Data.Type.Coercion as Export hiding (sym, trans)
+import Data.Type.Equality as Export hiding (outer, sym, trans)
diff --git a/test/Himari/Prelude/FunctorSpec.hs b/test/Himari/Prelude/FunctorSpec.hs
new file mode 100644
--- /dev/null
+++ b/test/Himari/Prelude/FunctorSpec.hs
@@ -0,0 +1,43 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+-- | Tests for functor-related re-exports in Himari.Prelude.
+module Himari.Prelude.FunctorSpec (spec) where
+
+import Data.Text qualified as T
+import Himari
+import Test.Syd
+
+spec :: Spec
+spec = do
+  describe "Data.Bifunctor" $ do
+    it "bimap is available and works correctly" $ do
+      bimap (+ 1) (* 2) (Left 5 :: Either Int Int) `shouldBe` Left 6
+      bimap (+ 1) (* 2) (Right 3 :: Either Int Int) `shouldBe` Right 6
+
+    it "bifunctorインスタンスが使える" $ do
+      bimap (convert . show) T.length (42 :: Int, "hello") `shouldBe` ("42" :: Text, 5 :: Int)
+
+  describe "Data.Functor.Const" $ do
+    it "Const functor is available" $ do
+      let x = Const 42 :: Const Int Text
+      getConst x `shouldBe` (42 :: Int)
+
+    it "Const functor maps correctly (ignores function)" $ do
+      let x = Const 42 :: Const Int Text
+      let y = fmap (const ("ignored" :: Text)) x
+      getConst y `shouldBe` (42 :: Int)
+
+  describe "Data.Functor.Identity" $ do
+    it "Identity functor is available" $ do
+      let x = Identity (42 :: Int)
+      runIdentity x `shouldBe` (42 :: Int)
+
+    it "Identity functor maps correctly" $ do
+      let x = Identity (5 :: Int)
+      let y = fmap (* 2) x
+      runIdentity y `shouldBe` (10 :: Int)
+
+    it "Identity applicative works" $ do
+      let f = Identity ((+ 1) :: Int -> Int)
+      let x = Identity (10 :: Int)
+      runIdentity (f <*> x) `shouldBe` (11 :: Int)
diff --git a/test/Main.hs b/test/Main.hs
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -3,6 +3,7 @@
 import Himari
 import Himari.CharSpec qualified as CharSpec
 import Himari.Env.SimpleSpec qualified as SimpleSpec
+import Himari.Prelude.FunctorSpec qualified as FunctorSpec
 import HlintBaseSpec qualified
 import HlintUnliftioSpec qualified
 import Test.Syd
@@ -13,5 +14,6 @@
   describe "Char" CharSpec.spec
   describe "Simple" SimpleSpec.spec
   describe "Title" TitleSpec.spec
+  describe "Prelude.Functor" FunctorSpec.spec
   describe "HlintUnliftio" HlintUnliftioSpec.spec
   describe "HlintBase" HlintBaseSpec.spec