Re: Syntax for implicit parameters