特定の型の値をもつプロパティのみを抽出するユーティリティ型