Sorry for the confusion, I think we are using different definitions of "semantics" here, I'm not talking about formal semantics. I'm considering these to be se

Sorry for the confusion, I think we are using different definitions of "semantics" here, I'm not talking about formal semantics. I'm considering these to be semantically different, even though their structural types are the same: fn min(x: int, y: int) -> int fn max(x: int, y: int) -> int The meaning of a computation changes depending on which one we use. I probably should have used a different word than "semantics" since that has a technical definition in the PL field...