{R : Type u} →
  [inst : Ring R] →
    {M : Type v} →
      [inst_1 : AddCommGroup M] →
        [inst_2 : Module R M] →
          {N : Type v} →
            [inst_3 : AddCommGroup N] → [inst_4 : Module R N] → (M →ₗ[R] N) → CategoryTheory.ShortComplex (ModuleCat R)