Replaces a series of if-else statements with type checks in conditions by pattern matching. This operation can change execution order of conditions!