∀ (R : Type u_1) (G : Type u_2) [inst : CommRing R] [inst_1 : Group G] [inst_2 : TopologicalSpace R]
  [inst_3 : TopologicalSpace G] [inst_4 : IsTopologicalGroup G],
  CategoryTheory.Functor.Linear R (ContinuousCohomology.I R G)