Type parameter

Also written: type parameters

A name in angle brackets, such as `T`, that stands for a type to be filled in at each call. `first<T>` works for products, strings or orders.