Higher-order type operator

Redirect to:

• Type constructor