diff --git a/crates/aiken-lang/src/tipo/expr.rs b/crates/aiken-lang/src/tipo/expr.rs
index c73c645d..a6080842 100644
--- a/crates/aiken-lang/src/tipo/expr.rs
+++ b/crates/aiken-lang/src/tipo/expr.rs
@@ -893,6 +893,7 @@ impl<'a, 'b> ExprTyper<'a, 'b> {
                 });
             }
         } else if !value_is_data
+            && !value_typ.is_list()
             && self
                 .environment
                 .check_exhaustiveness(