On Tue, Jun 5, 2012 at 1:45 PM, Simon Peyton-Jones <simonpj@microsoft.com> wrote:

So Andres has explained how to do what Johan asks. Does that mean that Bas’s problem is solved?

I think so - thanks, Andres! I believe that Johan's problem is another beast entirely.