∀ {F : Type u_6} {α : outParam (Type u_7)} {β : outParam (Type u_8)} {inst : Preorder α} {inst_1 : Preorder β}
  {inst_2 : TopologicalSpace α} {inst_3 : TopologicalSpace β} {inst_4 : FunLike F α β}
  [self : ContinuousOrderHomClass F α β], ContinuousMapClass F α β