Product and Coproduct modules

[andywhite37]

It might be interesting to see what a Product and Coproduct would look like using module functors. The motivation for Coproduct would be to see what it would look like to compose free monad algebras together, which is described very well in this article http://degoes.net/articles/modern-fp. I'm not sure if this is likely to be used much in reason land, or it might prove to be too clunky, but who knows.

• https://pursuit.purescript.org/packages/purescript-functors/2.0.0/docs/Data.Functor.Product
• https://pursuit.purescript.org/packages/purescript-functors/2.0.0/docs/Data.Functor.Coproduct