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

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