The inspection widget has the correct type family