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

Greg Buchholz haskell at sleepingsquirrel.org
Fri May 19 18:18:42 EDT 2006

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

More information about the Haskell-Cafe mailing list