なるほど。その型情報でランタイムに分岐するようなことはできるのか。