4 Types in Typed Racket (続き) いくつかの型を取る可能性がある変数や関数はUnion型になります > (if (even? 37) 'yes 'no) - : Symbol [more precisely: (U 'yes 'no)] 'no 'yesや'noを返す、っていうところまで見てるんですねえ ってそういうの見ないと…