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.