diff --git a/rfcs/never-and-unknown-types.md b/rfcs/never-and-unknown-types.md
index d996afc..5ad216e 100644
--- a/rfcs/never-and-unknown-types.md
+++ b/rfcs/never-and-unknown-types.md
@@ -1,5 +1,7 @@
 # never and unknown types
 
+**Status**: Implemented
+
 ## Summary
 
 Add `unknown` and `never` types that are inhabited by everything and nothing respectively.