Ben Rudiak-Gould wrote: > Bug #1097046 aside, I don't see how this can possibly work. There's > nothing to prevent return from being passed an argument for which > there's no FinSet instance. You're right, I guess it's not a monad after all, though you might be able to write the (>>=) function. -- Ashley Yakeley, Seattle WA