diff --git a/Stdlib/Data/Int.juvix b/Stdlib/Data/Int.juvix
index e614e7a6..5149de07 100644
--- a/Stdlib/Data/Int.juvix
+++ b/Stdlib/Data/Int.juvix
@@ -29,6 +29,7 @@ ordIntI : Ord Int := mkOrd Int.compare;
 instance
 showIntI : Show Int := mkShow intToString;
 
+{-# specialize: true #-}
 instance
 naturalIntI : Natural Int :=
   mkNatural@{
@@ -39,6 +40,7 @@ naturalIntI : Natural Int :=
     fromNat := ofNat;
   };
 
+{-# specialize: true #-}
 instance
 integralIntI : Integral Int :=
   mkIntegral@{
diff --git a/Stdlib/Data/Nat.juvix b/Stdlib/Data/Nat.juvix
index b7e6e859..9e3f75e5 100644
--- a/Stdlib/Data/Nat.juvix
+++ b/Stdlib/Data/Nat.juvix
@@ -30,6 +30,7 @@ ordNatI : Ord Nat := mkOrd Nat.compare;
 instance
 showNatI : Show Nat := mkShow natToString;
 
+{-# specialize: true #-}
 instance
 naturalNatI : Natural Nat :=
   mkNatural@{