diff --git a/lib/aiken.ak b/lib/aiken.ak
index 7e0b6fb..1b91ba5 100644
--- a/lib/aiken.ak
+++ b/lib/aiken.ak
@@ -127,6 +127,20 @@ pub type Option<a> {
   None
 }
 
+/// <small>Minimum Plutus Version</small> | <small>1</small>
+/// ---                                   | ---
+///
+/// A type that like [`Option`](#Option) but that is always `None`. Fundamentally, we have:
+///
+/// ```aiken
+/// let never: Data = Never
+/// let none: Data = None
+/// never == none
+/// ```
+pub type Never {
+  Never
+}
+
 /// <small>Minimum Plutus Version</small> | <small>1</small>
 /// ---                                   | ---
 ///