[repeat post] Re: Syntax for implicit parameters