Re: [Haskell-cafe] Re: Multiparamater class type-inference error

2007-01-29 Thread Yitzchak Gale
Alfonso Acosta wrote: fstSY = mapSY fst No instance for (Synchronous s ((a, b) - a) (a, b) a)... ...no error arises if I explicitly give the type signature of fstSY fstSY :: Signal (a,b) - Signal a This is the notorious Monomorphism Restriction. See

[Haskell-cafe] Re: Multiparamater class type-inference error

2007-01-28 Thread Alfonso Acosta
Forgot to mention that no error arises if I explicitly give the type signature of fstSY fstSY:: Signal (a,b) - Signal a On 1/29/07, Alfonso Acosta [EMAIL PROTECTED] wrote: Hi all, Sorry if this is too GHC-specific. I'm getting this strange instantiation error when compiling the