diff --git a/README.Rmd b/README.Rmd
index 70dbcbd..da80666 100644
--- a/README.Rmd
+++ b/README.Rmd
@@ -106,3 +106,11 @@ cat(readLines("tests/testthat/app/app.R"), sep = "\n")
 
 ts_compile("tests/testthat/app/app.R", file = "")
 ```
+
+## TODO
+
+- [ ] Add support for more types
+- [ ] Allow generic types (e.g., `<T>(x: T) => T`)
+- [ ] Add support for conditional return types
+
+  e.g., `const sample = <T, N extends number>(x: T[], n: N) => N extends 1 ? T : T[]`
diff --git a/README.md b/README.md
index 14ba64d..aa1cacb 100644
--- a/README.md
+++ b/README.md
@@ -112,3 +112,14 @@ ts_compile("tests/testthat/app/app.R", file = "")
 #> const fn_first = (x: string | string[]) => Promise<Character<1>)>;
 #> const fn_mean = (x: number | number[]) => Promise<Numeric<1>)>;
 ```
+
+## TODO
+
+  - [ ] Add support for more types
+
+  - [ ] Allow generic types (e.g., `<T>(x: T) => T`)
+
+  - [ ] Add support for conditional return types
+    
+    e.g., `const sample = <T, N extends number>(x: T[], n: N) => N
+    extends 1 ? T : T[]`