[Haskell-cafe] Re: Polyvariadic functions operating with a monoid

Hi Bartek, Yes, it compiles, but when I try to use polyToMonoid', it turns out that this function is no longer polyvariadic, unlike the original polyToMonoid . This may be what Luke meant when he wrote "you lose composability". Even with the extra unwrap function I think that this is pretty cool, but I would ideally like to hide the unwrap. Kevin On Oct 9, 1:50 pm, Bartek Ćwikłowski wrote:

Hello Kevin,

2010/10/9 Kevin Jardine :

...

I was attempting to turn this into a small library and wanted to avoid exporting unwrap.

...

I defined:

...

polyToMonoid' = unwrap . polyToMonoid

If you disable MonomorphismRestriction this definition typechecks just fine. Alternatively, you can ask ghci about the type of "unwrap . polyToMonoid" and paste that into the type sig.

regards, Bartek Ćwikłowski _______________________________________________ Haskell-Cafe mailing list Haskell-C...@haskell.orghttp://www.haskell.org/mailman/listinfo/haskell-cafe