introspection types