Who needs type signatures?