Table of Contents Motivation Soundness Difference between mixed, any and Object Using methods of Object Variance If Statement Result type Interface versus Type