[racket] typed racket: determining subset?

[Danny Yoo]

Let's say that I have two union types, and want to statically make
sure that one is a subset of the other, to prevent some silly bug.  Is
there a way to express this directly in Typed Racket?
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/users