DerivedFrom
タグ付き型