Add BiProd, fixes #874

[adelbertc]

No description provided.

[codecov-io]

Current coverage is 89.45%

Merging #906 into master will decrease coverage by -0.14% as of 8d08d62

@@            master    #906   diff @@
======================================
  Files          181     182     +1
  Stmts         2423    2447    +24
  Branches        76      76       
  Methods          0       0       
======================================
+ Hit           2171    2189    +18
  Partial          0       0       
- Missed         252     258     +6

Review entire Coverage Diff as of 8d08d62

Powered by Codecov. Updated on successful CI builds.

[ceedubs]

@adelbertc could you provide some example use-cases? If we decide to go forward with this, I'd like to see some more documentation.

[adelbertc]

@ceedubs I confess I haven't had a use for this myself. I've definitely had uses for Prod, especially in the context of evaluating algebras. The motivation behind this was primarily for consistency in the sense that there is product composition for Functor, but none for Bifunctor.