Introducing global type traits