weird :t uncurry flip

[Hal Daume III]

Nevermind, I'm dumb :)

--
Hal Daume III

 "Computer science is no more about computers    | hdaume at isi.edu
  than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume

On Fri, 9 Aug 2002, Hal Daume III wrote:

> > 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
> 
> 
>