diff --git a/dsl.py b/dsl.py
index a3690c2..dc7bbc6 100644
--- a/dsl.py
+++ b/dsl.py
@@ -405,8 +405,8 @@ def interval(
 
 
 def astuple(
-    a: Integer,
-    b: Integer
+    a: Any,
+    b: Any
 ) -> IntegerTuple:
     """ constructs a tuple """
     return (a, b)