It's less interesting to argue in favour of a type system in general. Should it be gradual, structural, nominal and/or dependent, and why?