diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -19,3 +19,8 @@
 ## 0.1.3.1 -- 2020-05-13
 
 * added comment
+
+## 0.1.3.2 -- 2020-05-13
+
+* export the variants for hyloM and metaM.
+
diff --git a/monadic-recursion-schemes.cabal b/monadic-recursion-schemes.cabal
--- a/monadic-recursion-schemes.cabal
+++ b/monadic-recursion-schemes.cabal
@@ -4,7 +4,7 @@
 -- http://haskell.org/cabal/users-guide/
 
 name:                monadic-recursion-schemes
-version:             0.1.3.1
+version:             0.1.3.2
 synopsis:            Recursion Schemes for Monadic version.
 description:         Yet another recursion schemes for monadic style, depends on recursion-schemes.
 homepage:            https://github.com/cutsea110/monadic-recursion-schemes.git
diff --git a/src/Data/Functor/Foldable/Monadic.hs b/src/Data/Functor/Foldable/Monadic.hs
--- a/src/Data/Functor/Foldable/Monadic.hs
+++ b/src/Data/Functor/Foldable/Monadic.hs
@@ -13,6 +13,7 @@
   , histoM', futuM'
   , zygoM, cozygoM
   , hyloM, metaM
+  , hyloM', metaM'
   , chronoM, cochronoM
   , chronoM', -- cochronoM'
   ) where
@@ -115,10 +116,6 @@
 
 -- FIXME: I couldn't compile with this type signature.
 -- | hylomorphism on combination variant of ana to cata
--- hyloM' :: (Monad m, Traversable (Base t), Recursive t, Corecursive t)
---        => (Base t b -> m b)   -- ^ algebra
---        -> (a -> m (Base t a)) -- ^ coalgebra
---        -> a -> m b
 hyloM' phi psi = cataM phi <=< anaM psi
 
 -- | metamorphism on recursive variant
@@ -148,10 +145,6 @@
 
 -- FIXME: I couldn't compile with this type signature.
 -- | chronomorphism on combination variant of futu to hist
--- chronoM' :: (Monad m, Traversable (Base t), Recursive t, Corecursive t)
---          => (Base t (Cofree (Base t) c) -> m c) -- ^ algebra
---          -> (a -> m (Base t (Free (Base t) a))) -- ^ coalgebra
---          -> a -> m c
 chronoM phi psi = histoM phi <=< futuM psi
 
 cochronoM :: (Monad m, Corecursive c, Traversable (Base c), Traversable (Base t), Recursive t)