Steven D'Aprano <steve at REMOVE-THIS-cybersource.com.au> writes: > any restriction that functions must return the same > type as all its arguments is just crazy. I don't think anyone is saying that they should necessarily do that in general. Just in some specific cases.