∀ {α : Type u_2} {β : Type u_3} [inst : Preorder α] [inst_1 : Preorder β] [inst_2 : AddZeroClass α]
  [inst_3 : AddZeroClass β],
  OrderAddMonoidHom.instFunLike = { coe := fun f => (↑f.toAddMonoidHom).toFun, coe_injective' := ⋯ }