higher-order type operator

  1. REDIRECT type constructor