[Haskell-cafe] CCC MyType

[Brent Yorgey]

On Fri, Oct 01, 2010 at 01:18:29PM +0200, Lafras Uys wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> I can now find explicit bindings for apply and curry, however not for
> uncurry. The type signature for uncurry introduces a new type
> constructor (<=>),
> 
> > uncurry :: <= a (Exp <= b c) -> <= (Product <=> a b) c
> 
> I'm not sure what the meaning of (<=>) is? If someone could provide some
> pointers, I would be much obliged.

Where did you get these type signatures from?  It seems most likely to
me that the <=> is just a typo.

-Brent