weird :t uncurry flip

[Hal Daume III]

> 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