> On 2002-08-09T15:52:04-0700, Hal Daume III wrote: > > Prelude> :t uncurry flip > > forall a c b. (a -> b -> c, b) -> a -> c > > Um, what is weird about this type?
Shouldn't it be (a -> b -> (c,b)) -> a -> c ? like Prelude> :t (\f -> fst . f) forall a b a1. (a1 -> (a, b)) -> a1 -> a _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
