Higher-kinded type

Redirect to:

  • Kind (type theory)