In article <200501230458.09953.jadrian at mat.uc.pt>, Jorge Adriano Aires <jadrian at mat.uc.pt> wrote: > How would we implement the first kind in the Maybe instance of MonadPlus? We wouldn't, they'd be in separate classes. -- Ashley Yakeley, Seattle WA