diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,8 @@
+## Version 0.0.2 (2018-12-27)
+
+- Fix missing `Real` from `mismi-p`
+- Include `mismi-s3`
+
 ## Version 0.0.1 (2018-12-16)
 
 - Replace `p` submodule with `mismi-p`
diff --git a/mismi-p.cabal b/mismi-p.cabal
--- a/mismi-p.cabal
+++ b/mismi-p.cabal
@@ -1,4 +1,4 @@
-version: 0.0.1
+version: 0.0.2
 
 name:
   mismi-p
diff --git a/src/P.hs b/src/P.hs
--- a/src/P.hs
+++ b/src/P.hs
@@ -22,8 +22,11 @@
   -- ** Word
   , Word64
   -- ** Real
+  , Real
   , fromIntegral
   , fromRational
+  -- ** Double
+  , Double
 
   -- * Algebraic structures
   -- ** Monoid
@@ -52,10 +55,12 @@
   , mapM_
   , when
   , unless
+  , forever
   -- ** MonadPlus
   , MonadPlus (..)
   , guard
   , msum
+  , mfilter
 
   -- * Data structures
   -- ** Either
@@ -66,6 +71,8 @@
   , Maybe (..)
   , fromMaybe
   , maybe
+  , listToMaybe
+  , isJust
   , hush
   -- ** Tuple
   , fst
@@ -129,7 +136,7 @@
   , traceIO
 
   -- * Text
-  , Text (..)
+  , Text
 
   -- * Prelude
   , Unsafe.Bounded
@@ -148,6 +155,8 @@
          , mapM_
          , when
          , unless
+         , mfilter
+         , forever
          )
 import           Control.Applicative as Applicative (
            Applicative (..)
@@ -211,6 +220,8 @@
            Maybe (..)
          , fromMaybe
          , maybe
+         , listToMaybe
+         , isJust
          )
 import           Data.Monoid as Monoid (
            Monoid (..)
@@ -238,7 +249,8 @@
 import qualified Debug.Trace as Trace
 
 import           GHC.Real as Real (
-           fromIntegral
+           Real
+         , fromIntegral
          , fromRational
          )
 #if MIN_VERSION_base(4,9,0)
@@ -248,6 +260,7 @@
 import           Prelude as Prelude (
            Enum (..)
          , Num (..)
+         , Double
          , Integer
          , seq
          , ($!)
@@ -270,6 +283,7 @@
          , showString
          )
 import           Data.Text (Text)
+
 
 
 #if MIN_VERSION_base(4,9,0)