diff --git a/CHANGELOG.md b/CHANGELOG.md
index b02973d..31f27f7 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -12,6 +12,13 @@
 **Note**: Gaps between patch versions are faulty/broken releases.
 **Note**: A feature tagged as Experimental is in a high state of flux, you're at risk of it changing without notice.
 
+## 0.2.3
+
+- **New Feature**
+  - `Foldable`: add default `foldMap` implementation (@gcanti)
+  - `ChainRec` (@gcanti)
+  - `Yoneda` (@gcanti)
+
 ## 0.2.2
 
 - **New Feature**
diff --git a/README.md b/README.md
index dc58d4e..4f2133c 100644
--- a/README.md
+++ b/README.md
@@ -6,6 +6,26 @@
 
 The idea (faking higher kinded types in Flow) is based on the paper [Lightweight higher-kinded polymorphism](https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf) and [elm-brands](https://github.com/joneshf/elm-brands).
 
+- `Semigroup`
+- `Monoid`
+- `Functor`
+- `Applicative`
+- `Monad`
+- `Foldable`
+- `Traversable`
+- `ChainRec`
+- `Alternative`
+- `Eff`
+- `Arr`
+- `Maybe`
+- `Either`
+- `Task`
+- `State`
+- `Writer`
+- `Reader`
+
+and many more...
+
 # Example
 
 ```js
@@ -48,7 +68,6 @@ const f = (n) => n * 2
 - [Higher kinded types with Flow](https://medium.com/@gcanti/higher-kinded-types-in-flow-275b657992b7)
 - [Expressing side effects with the `Eff` monad](https://medium.com/@gcanti/the-eff-monad-implemented-in-flow-40803670c3eb)
 - [Phantom types with Flow](https://medium.com/@gcanti/phantom-types-with-flow-828aff73232b)
-- [Refinements with Flow](https://medium.com/@gcanti/refinements-with-flow-9c7eeae8478b)
 
 # More examples
 
diff --git a/package.json b/package.json
index 3f6d0e4..1a9e23c 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "flow-static-land",
-  "version": "0.2.2",
+  "version": "0.2.3",
   "description": "Implementation of common algebraic types in JavaScript + Flow",
   "files": [
     "lib",
diff --git a/src/Foldable.js b/src/Foldable.js
index 02cc910..7ba67f7 100644
--- a/src/Foldable.js
+++ b/src/Foldable.js
@@ -7,7 +7,7 @@ import { HKT } from './HKT'
 
   `Foldable` represents data structures which can be _folded_.
 
-  - `foldr` folds a structure from the right
+  - `foldr` folds a structure from the right (not implemented)
   - `foldl` folds a structure from the left
   - `foldMap` folds a structure by accumulating values in a `Monoid`