Test partial application of type-level operators
Test partial application of type-level operators

wxzh/fcore,bixuanzju/fcore,xnning/fcore,hkuplg/fcore,xnning/fcore,bixuanzju/fcore,zhiyuanshi/fcore,hkuplg/fcore,bixuanzju/fcore,zhiyuanshi/fcore,hkuplg/fcore,zhiyuanshi/fcore,wxzh/fcore,xnning/fcore,wxzh/fcore