{R : Type u1} →
  [inst : CommRing R] →
    {M : Type u2} →
      [inst_1 : AddCommGroup M] →
        [inst_2 : Module R M] →
          (Q : QuadraticForm R M) → LinearMap.BilinForm R M → M →ₗ[R] CliffordAlgebra Q →ₗ[R] CliffordAlgebra Q