diff --git a/src/infer.ts b/src/infer.ts
index bee28f7..769b5c9 100644
--- a/src/infer.ts
+++ b/src/infer.ts
@@ -21,6 +21,9 @@ const Multiply = 'multiply(number,number)=>number'
 const Square = 'square(number)=>number'
 const Zero = 'zero(number)=>number'
 
+// TODO: turn a generic string like `(T,T)=>T` into a concrete one like `(number,number)=>number`
+// const MultiplyNumber = ResolveGeneric<'multiply', number>
+
 const createSquare = create(Square, [Multiply, Zero], dep =>
     x => dep.multiply(x, x)
 )