Greg Buchholz wrote: > instance Apply a b c => Apply (a->b) b (a,c) where
Whoops, instead of that, I think I meant... instance Apply (b->c) c d => Apply (a->b->c) (b->c) (a,d) where ...where we strip off one layer of types, because of the recursion. Of course, that still doesn't work though. Greg Buchholz _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe