It's a little interesting the BAR=> BAr convesion going on here.  Maybe the first example should have the implicit *and* a normal parameter, since htat's more likely?