Am Samstag 05 Dezember 2009 21:51:26 schrieb Michael Snoyman:
> On Sat, Dec 5, 2009 at 10:33 PM, José Iborra wrote:
> > Since you have already decided MPTCs are ok, in my opinion undecidable
> > instances are fine here.
> > But I realize this is not the usual stance, so I might be wrong.
> >
As f
On Sat, Dec 5, 2009 at 10:33 PM, José Iborra wrote:
>
> On Dec 5, 2009, at 6:58 PM, Michael Snoyman wrote:
>
> > Hi all,
> >
> > Well, I've got two problems which both want to be solved with undecidable
> and overlapping instances. Obviously, I'd like to try and avoid them. For
> the record, the
On Dec 5, 2009, at 6:58 PM, Michael Snoyman wrote:
> Hi all,
>
> Well, I've got two problems which both want to be solved with undecidable and
> overlapping instances. Obviously, I'd like to try and avoid them. For the
> record, the problems have to do with the control-monad-failure and
> con
Hi all,
Well, I've got two problems which both want to be solved with undecidable
and overlapping instances. Obviously, I'd like to try and avoid them. For
the record, the problems have to do with the control-monad-failure and
convertible packages. The code below *should* make clear what I'm tryin