diff --git a/ChangeLog.md b/ChangeLog.md
index a580e9e..62ab8d8 100644
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,19 @@
 # Changelog for free-category
 
+## Version 0.0.4.0
+- hoistOp
+- Renamed `Control.Category.FreeEff` module as `Control.Category.FreeEffect`
+  and renamed top level terms:
+    - `EffCategory` type class to `EffectCategory`
+    - `FreeEffCat` to `EffCat`
+    - `FreeEffCat` constructor as `Effect` and `lift` as `effect`
+    - `liftCat` to `liftEffect`
+    - `foldNatLift` to `foldNatEffCat`
+- Show instance of 'Cat' and 'C' via 'ListTr' (GHC >= 806)
+- Performance optimisations: rewrite rules & inline pragmas
+- Export ListTr from Control.Category.Free
+- foldrL, foldlL and zipWithL
+
 ## Version 0.0.3.0
 - Efficient 'Cat' and 'Aff' based on real time queues with scheduling
 - Added Monoid instances 
@@ -15,16 +29,3 @@
 ## Version 0.0.1.0
 - free category (concrete and condensity transformed)
 - free arrows (concrete and condensity transformed)
-
-## Unreleased changes
-- hoistOp
-- Renamed `Control.Category.FreeEff` module as `Control.Category.FreeEffect`
-  and renamed top level terms:
-    - `EffCategory` type class to `EffectCategory`
-    - `FreeEffCat` to `EffCat`
-    - `FreeEffCat` constructor as `Effect` and `lift` as `effect`
-    - `liftCat` to `liftEffect`
-    - `foldNatLift` to `foldNatEffCat`
-- Show instance of 'Cat' and 'C' via 'ListTr' (GHC >= 806)
-- Export ListTr from Control.Category.Free
-- foldrL, foldlL and zipWithL