Fix type signature of productL in cats glossary

[mtomko]

Thank you for contributing to Cats!

This is a kind reminder to run sbt prePR and commit the changed files before submitting.

[kailuowang]

Thanks!

[mtomko]

Oh, doh, I think I misunderstood the instructions about sbt prePR.

[mtomko]

Just to confirm sbt prePR didn't appear to change any files, the reminder is only to be sure I committed the files I meant to change, right?

[kailuowang]

@mtomko sorry the instruction wasn't clear. sbt prePR reformats the code and runs a couple of other checks. If your code already conforms to the format settings then it won't change anything. But if it did you would need to include those changes in the PR as well.

[mtomko]

I mentioned some other possible changes to the nomenclature file in gitter, which I'm happy to add to this PR. I'll summarize them here. If you want me to add them let me know and I'll include them in separate commits:

First, in the signature for flatTap, it currently reads:
F[A] => (A => F[-]) => F[A], but it might be clearer written F[A] => (A => F[B]) => F[A].

Secondly, the word Constraints appears to be misspelled as "Constrains" in a few tables. If you'd rather keep things in separate PRs, or feel that the changes aren't important, that's fine with me, too.

[mtomko]

Got it, thanks for the information!

[codecov-io]

Codecov Report

Merging #2625 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #2625   +/-   ##
=======================================
  Coverage   95.12%   95.12%           
=======================================
  Files         363      363           
  Lines        6704     6704           
  Branches      305      289   -16     
=======================================
  Hits         6377     6377           
  Misses        327      327

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update e9c2b9b...2fc75a4. Read the comment docs.

[mtomko]

I made the other changes in a separate PR: #2642