Talk:Type generalization