And if we stick with this, maybe `GetExportedTypes` instead of `GetTypes`, we want to respect classes' privacy :wink: