diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,25 @@
+# 0.3.1.1 (2017/06/05)
+
+- Improve documentation :memo: : Add README and CHANGELOG to extra-source-files, to make README readable on hackage.org.
+- Correct README:
+    - As of 0.3.0.0 this package actually supports Kirakira :star: A La Mode!
+    - Since the initial release, this package actually supports Cure Mofurun!
+
+# 0.3.1.0 (2017/06/05)
+
+- Add: More transformations and purifications of Kirakira :star: PreCure A La Mode.
+
+# 0.3.0.0 (2017/04/23)
+
+- Add: Transformations and a purification of Kirakira :star: PreCure A La Mode.
+
+# 0.2.0.0 (2016/12/12)
+
+- Breaking Change: Change the signature of `transform`.
+    - Before: `transform :: (Transformation g' i') => g' -> i' -> (Style g' i' -> PreCureMonad x) -> PreCureMonad x`
+    - After: `transform :: (Transformation g' i') => g' -> i' -> PreCureMonad (Style g' i')`
+    - To make it easier to get transformed style when using `transform`.
+
+# 0.1.0.0 (2016/12/11)
+
+Initial Release
diff --git a/README.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,110 @@
+# TypeSafe PreCure!!
+
+[![Hackage](https://img.shields.io/hackage/v/typesafe-precure.svg)](http://hackage.haskell.org/package/typesafe-precure)
+[![CircleCI](https://circleci.com/gh/igrep/typesafe-precure.svg?style=svg)](https://circleci.com/gh/igrep/typesafe-precure)
+
+Type-safe transformations and purifications of PreCures (Japanese Battle Heroine).  
+Written in Haskell.
+
+## Features
+
+- Collection of Japanese battle heroines "PreCure"  and their transformation and purification phrases.
+    - Currently, supports from the first season to "Kirakira ☆ A La Mode", including Cure Echo and Cure Mofurun!
+- Monadic actions to play the speech of their transformations and purifications.
+
+## Characteristics
+
+**Each girl/PreCure/PreCure's variation/special item has her/its own type**.  
+So only correct combinations of girls/PreCures and items can transform and purify.  
+Compared with other PreCure implementations such as rubicure, clocure, etc., this makes it *much harder* to use, but it reproduces the settings more correctly.  
+*Correctness* is more important for this library.
+
+## Installation
+
+```sh
+# unicode-show is optional. But recommended if you try it on GHCi.
+$ stack install typesafe-precure unicode-show
+## ... OR
+$ cabal install typesafe-precure unicode-show
+```
+
+## Example Usage
+
+**Note**:
+- To `show` Japanese characters in GHCi, use [unicode-show](https://github.com/nushio3/unicode-show)
+- Output of GHCi below is prettified by hand.
+
+### Get transformed PreCure, etc.
+
+```haskell
+$ ghci -interactive-print=Text.Show.Unicode.uprint
+
+ghci> :m ACME.PreCure
+ghci> transformationSpeech (Mirai, Liko) (Mofurun LinkleStoneDia)
+[ "キュアップ・ラパパ！　ダイヤ！"
+, "ミラクル・マジカル・ジュエリーレ！"
+, "ふたりの奇跡！キュアミラクル！"
+, "ふたりの魔法！キュアマジカル！"
+, "魔法つかいプリキュア！！"
+]
+ghci> transformedStyle (Mirai, Liko) (Mofurun LinkleStoneRuby)
+(CureMiracle_Ruby, CureMagical_Ruby)
+ghci> purificationSpeech (CureMiracle_Ruby, CureMagical_Ruby) (LinkleStick LinkleStoneRuby, Mofurun LinkleStoneRuby)
+[ "リンクルステッキ！"
+, "(モッフー！)"
+, "ルビー！紅の情熱よ私達の手に！"
+, "フルフルリンクル！"
+, "プリキュア！ルビー・パッショナーレ！"
+]
+```
+
+### PreCure Monad
+
+```haskell
+ghci> :{
+ghci> let scene = do
+....>       say "この罪を抱いたまま、もう一度、グランプリンセスを目指す！"
+....>       scarlet <- transform Towa (PrincessPerfume DressUpKey_Scarlet)
+....>       scarletModeElegant <- transform scarlet (PrincessPerfume DressUpKey_Phoenix)
+....>       purify scarletModeElegant (ScarletViolin DressUpKey_Phoenix)
+ghci> :}
+ghci> :t scene
+scene
+  :: Control.Monad.Skeleton.Skeleton
+       ACME.PreCure.Monad.PreCureMonadBase ()
+```
+
+#### Transform and Purify as a Pure Function
+
+```haskell
+ghci> composeEpisode scene
+[ "この罪を抱いたまま、もう一度、グランプリンセスを目指す！"
+, "プリキュア！プリンセスエンゲージ！"
+, "深紅の炎のプリンセス！キュアスカーレット！"
+, "冷たい檻に閉ざされた夢、返していただきますわ。"
+, "お覚悟を決めなさい！"
+, "エクスチェンジ！モードエレガント！"
+, "スカーレット・バイオリン！フェニックス！"
+, "羽ばたけ炎の翼！"
+, "プリキュア！ フェニックス・ブレイズ！"
+, "ごきげんよう。"
+]
+```
+
+#### Transform and Purify as an IO Action
+
+The phrases are printed by line. Inspired by the similar feature of rubicure.
+
+```haskell
+ghci> printEpisode scene
+この罪を抱いたまま、もう一度、グランプリンセスを目指す！
+プリキュア！プリンセスエンゲージ！
+深紅の炎のプリンセス！キュアスカーレット！
+冷たい檻に閉ざされた夢、返していただきますわ。
+お覚悟を決めなさい！
+エクスチェンジ！モードエレガント！
+スカーレット・バイオリン！フェニックス！
+羽ばたけ炎の翼！
+プリキュア！ フェニックス・ブレイズ！
+ごきげんよう。
+```
diff --git a/typesafe-precure.cabal b/typesafe-precure.cabal
--- a/typesafe-precure.cabal
+++ b/typesafe-precure.cabal
@@ -1,5 +1,5 @@
 name:                typesafe-precure
-version:             0.3.1.0
+version:             0.3.1.1
 synopsis:            Type-safe transformations and purifications of PreCures (Japanese Battle Heroine)
 description:         See README.md for details.
 homepage:            https://github.com/igrep/typesafe-precure#readme
@@ -10,7 +10,7 @@
 copyright:           2017 Yuji Yamamoto
 category:            ACME
 build-type:          Simple
--- extra-source-files:
+extra-source-files:  README.md CHANGELOG.md
 cabal-version:       >=1.10
 
 library