Higher-order type operators are allowed however.
하지만, 고계(higher-order) 타입 연산자는 허용된다.