.

src/SUMMARY.md

@@ -37,6 +37,8 @@
 - [Traits](./traits.md)
   - [Essential Traits](./essential-traits.md)
   - [Automatic Derivation](./automatic-derivation.md)
+  - [Associated Types](./associated-types.md)
+  - [Associated Effects](./associated-effects.md)
   - [Higher-Kinded Types](./higher-kinded-types.md)
 - [Effects and Handlers](./effects-and-handlers.md)
 - [Laziness](./laziness.md)

src/associated-effects.md

@@ -0,0 +1,6 @@
+## Associated Effects
+
+> **Warning:** Associated effects are an experimental feature. 
+
+> **Warning:** Associated effects have not yet been released and are only
+> available on nightly builds. 

src/associated-types.md

@@ -0,0 +1,7 @@
+## Associated Types
+
+> **Warning:** Associated types are an experimental feature. 
+
+> **Warning:** Associated types have not yet been released and are only
+> available on nightly builds. 
+

src/traits.md

@@ -4,6 +4,8 @@ Traits (also known as _type classes_) support abstraction and overloading. At a
 first-glance, the trait system in Flix is similar to that of Haskell and Rust,
 with some more important differences.
 
+<div style="color:gray">
+
 ## Essentials
 
 The function `isSingleton` naively determines whether
@@ -193,3 +195,5 @@ instance Primitive[Int32]
 instance Primitive[Float64]
 // ... and so on
 ```
+
+</div>