∀ {F : Type u_10} {M : outParam (Type u_11)} {N : outParam (Type u_12)} [inst : AddZero M] [inst_1 : AddZero N]
  [inst_2 : FunLike F M N] [toAddHomClass : AddHomClass F M N] [toZeroHomClass : ZeroHomClass F M N],
  AddMonoidHomClass F M N