∀ {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}
  [self : MulActionSemiHomClass F φ X Y] (f : F) (c : M) (x : X), φ c • f x = f (c • x)