diff --git a/crates/aiken-lang/src/tipo/environment.rs b/crates/aiken-lang/src/tipo/environment.rs
index adebcf1a..feb25a5e 100644
--- a/crates/aiken-lang/src/tipo/environment.rs
+++ b/crates/aiken-lang/src/tipo/environment.rs
@@ -1289,6 +1289,7 @@ impl<'a> Environment<'a> {
             && !(t1.is_unbound() || t2.is_unbound())
             && !(t1.is_function() || t2.is_function())
             && !(t1.is_generic() || t2.is_generic())
+            && !(t1.is_string() || t2.is_string())
         {
             return Ok(());
         }