reflect<T>() -> type<T>();