Directly calling `str` on the arguments looks like discarding type info for me.