RE: Syntax for implicit parameters