type introspections