Simon Peyton-Jones wrote: > The error message about ambiguity is just what you'd expect. > > So it seems that this is all fine. Right, I should have been more clear on that perhaps. Thanks!