Every smart type description