More cats.data.Prod instances

[adelbertc]

https://hackage.haskell.org/package/transformers-0.5.1.0/docs/Data-Functor-Product.html

[pepegar]

Working on it!

Would it be better to have just all the instances in the same pull request, or is it better to have one pull request for each one?

[adelbertc]

@pepegar Awesome, thanks!

I would be fine to just have them all in one PR. Would probably be very annoying for you to have to have N branches for each of the N instances. I'm also guessing you might have to group some of them up if only so you can do things like split out type class implementations into traits so you can re-use them.

[pepegar]

Instances I've found I think I'll be able to implement are:

• Monad
• Foldable
• Traverse
• Show

More ideas?

[pepegar]

Work is being done here

[adelbertc]

Looks like you could also do MonadPlus and Ord I think.

[pepegar]

Maybe I am doing it wrong, but cannot find where MonadPlus is implemented in Cats... Any hint?

[adelbertc]

Sorry, we call it MonadCombine https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/MonadCombine.scala