Re: [Haskell-cafe] Newbie: Applying Unknown Number Arguments to A Partial Function

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