implicits elimination for functors