diff --git a/README.md b/README.md
index a56e3c5..88a7371 100644
--- a/README.md
+++ b/README.md
@@ -132,25 +132,15 @@ def matrixMonoid(row: Int, col: Int): Monoid[Matrix[Int]] = new {
 ```
 
 ## Type classes
-```
- -----------     ---------      ---------       ----------
-| Semigroup |   | Functor |    | Compose |     | Foldable |
- -----------     ---------      ---------       ----------
-      *              *
-      |              |
-  ---------      ---------
- | Monoid  |    |  Apply  |
-  ---------      ---------
-                     *
-                     |
-               -------------
-              | Applicative |   
-               -------------
-                     *
-                     |
-                 ---------         
-                |  Monad  |        
-                 ---------         
+```mermaid
+flowchart BT
+    monoid --> semigroup
+    monad --> applicative --> apply --> functor
+    apply --> semigroupal
+    flatMap --> functor
+    monad --> flatMap
+    compose
+    foldable
 ```
 
 ## Progress
@@ -170,7 +160,7 @@ def matrixMonoid(row: Int, col: Int): Monoid[Matrix[Int]] = new {
 
 - [ ] Compose
     - [x] Implementation
-    - [ ] Laws
+    - [x] Laws
     - [x] Instances
     - [ ] Tests
     - [ ] Documentation
@@ -209,3 +199,17 @@ def matrixMonoid(row: Int, col: Int): Monoid[Matrix[Int]] = new {
     - [x] Instances
     - [x] Tests
     - [ ] Documentation
+
+- [ ] Flatmap
+    - [ ] Implementation
+    - [ ] Laws
+    - [ ] Instances
+    - [ ] Tests
+    - [ ] Documentation
+
+- [ ] Semigroupal
+    - [ ] Implementation
+    - [ ] Laws
+    - [ ] Instances
+    - [ ] Tests
+    - [ ] Documentation