Merge makeOpTypeSignature with makeOpArgsWithType