∀ {F : Type u_5} {α : outParam (Type u_6)} {β : outParam (Type u_7)} {r : outParam (α → α → Prop)}
  {s : outParam (β → β → Prop)} [inst : FunLike F α β], (∀ (f : F) {a b : α}, r a b → s (f a) (f b)) → RelHomClass F r s