Avoid type puns.