我有这样的东西：
<pre class="lang-py prettyprint-override"><code>from typing import TypeVar, Generic, Tuple
T = TypeVar('
我正在阅读 JLS，Java SE 8 版，但我被困在关于类型变量的部分。
<a href="https://docs.oracle.com/javase/specs/
我正在尝试创建一个与通用 BST 类具有 has-a 关系的类，它通过读取逗号分隔的文件来构造树。
这是
<pre><code>> {-# LANGUAGE TemplateHaskell #-}
> import Language.Haskell.TH
> import Control.Monad
</code></pre>
假设我有一
