∀ {k G : Type u} [inst : CommRing k] [inst_1 : Group G] {A B C : Rep k G} (f : B ⟶ A ⟹ C),
  ((Rep.MonoidalClosed.linearHomEquiv A B C).symm f).hom =
    ModuleCat.ofHom ((TensorProduct.uncurry (RingHom.id k) ↑A.V ↑B.V ↑C.V) (ModuleCat.Hom.hom f.hom).flip)