Whether the live case is T.
T
#import "Extensions/Variant"; id := variant(Variant(s64, string), "abc"); assert(is(id, string) && !is(id, s64));
is :: (v: $V/Variant, $T: Type) -> bool