∀ {F : Type u_1} {X : outParam (Type u_2)} {Y : outParam (Type u_3)} [inst : FunLike F X Y]
  [inst_1 : TopologicalSpace F] [inst_2 : TopologicalSpace X] [inst_3 : TopologicalSpace Y],
  (Continuous fun fx => fx.1 fx.2) → ContinuousEval F X Y