Dominus explains the good and bad of type systems