Necessary for BinaryOperation. A potential issue is the type of the
output --- we simply use that of the first input, which is maybe not
always correct?