Hello Einar, Tuesday, August 1, 2006, 1:58:30 PM, you wrote:
> class ElementType c a | c -> a > class Foldable c where > fold :: ElementType c a => (a -> b -> b) -> b -> c -> b i love it! will it be possible to write smth like this: class Stream m h | h->m data T h = (Stream m h) => C (m Int) ? currently, i need to pass 'm' parameter to T type constructor too, because GHC can't guess what 'm' is determined by 'h' -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
