Implicits should be type annotated; this might be discarded otherwise in implicit searches earlier in this compilation unit.