∀ {F : Type u_8} {M : outParam (Type u_9)} {N : outParam (Type u_10)} {φ : outParam (M → N)} {X : outParam (Type u_11)}
  {Y : outParam (Type u_12)} [inst : SMul M X] [inst_1 : SMul N Y] [inst_2 : FunLike F X Y],
  (∀ (f : F) (c : M) (x : X), f (c • x) = φ c • f x) → MulActionSemiHomClass F φ X Y