proposed change to transformers package

[Ross Paterson]

On Mon, Mar 29, 2010 at 09:15:09AM -0400, Mario Blažević wrote:
> I'd expect the appropriate functor product rather be something like
> 
>    data NestedProduct f g a = NestedProduct (f (g a))

That's already present as Compose.