From 24a85c472eb92da1cea7b4eba11165c345f791c4 Mon Sep 17 00:00:00 2001
From: pca006132 <john.lck40@gmail.com>
Date: Mon, 12 Apr 2021 20:16:26 +0800
Subject: [PATCH] updated type variable description

---
 README.md | 5 -----
 1 file changed, 5 deletions(-)

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...