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