Who needs types?