diff --git a/README.md b/README.md
index c9ac79d..ee9a147 100644
--- a/README.md
+++ b/README.md
@@ -154,11 +154,6 @@ class Foo(EnvExperiment):
 * Type variable cannot occur alone in the result type, i.e. must be bound to the
   input parameters.
 
-Questions:
-* Should we support things like optional type? (like the one in rust)
-* Would it be better to assert on the type variable directly instead of
-  `type(x)` for type guards?
-
 ## Lifetime
 Probably need more discussions...