Chapter21 (v4-format tryout) Rules for implicits: One-at-a-time rule