On Mon, May 23, 2011 at 3:34 PM, Guillaume Yziquel <
guillaume.yziquel@citycable.ch> wrote:


>  However, I think there is a polymorphic-not-functorised code for maps
> and sets lying out somewhere on the net. This is likely your best bet.
>

These are available in Batteries as PMap and PSet.