Higher-order type operator
Redirect to:
Type constructor