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

[Greg Buchholz]

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