Is there a way of providing polymorphic type discrimination similar to Rust's enums?

Question

I\'ve recently returned to JS/TS after coding a lot in Rust and this is a feature I really miss.

So suppose that I have a value which may be an instance of Cat<