{L : FirstOrder.Language} →
  {F : Type u_3} →
    {M : Type u_4} →
      {N : Type u_5} →
        [inst : L.Structure M] →
          [inst_1 : L.Structure N] → [inst_2 : FunLike F M N] → [L.HomClass F M N] → F → L.Hom M N