First-class type

Redirect to:

  • First-class citizen

It's more formal and easier to understand and use type instead of citizen in computer science