emmt
diff --git a/‎TODO.md‎
Lines changed: 3 additions & 0 deletions b/‎TODO.md‎
Lines changed: 3 additions & 0 deletions
@@ -0,0 +1,3 @@
+- Destructure types as in `ZippedArrays`.
+
+- Make inference work for ≥ 4 arguments in `bare_type`, `real_type`, etc.
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	+- Destructure types as in `ZippedArrays`.
	`2`	`+`
	`3`	+- Make inference work for ≥ 4 arguments in `bare_type`, `real_type`, etc.