我可以做类似(def-structural T (args ....))}的事情，然后像在base-env/base-types.rkt中的函数一样应用T（我的意思是，我可以写(T arg ...)）。
但是我想将-HT定义为(-poly (a b) (Un (T1 a b) (T2 a b)))的名称（对于某些T1 T2）。
我尝试过(define -HT (-poly ....))，然后以后无法在(-HT a b)中写base-env/base-types.rkt。