On Inclusivity and Unimagined Types