[Haskell-cafe] Quite confused by simple transformations on this code not working

Andrew Wagner wagner.andrew at gmail.com
Tue Jan 20 22:58:24 EST 2009

Strange little bit of code:

If I do any of the following, all of which seem natural to me, it fails to

   1. move f out of the 'where' clause (with or without a type signature)
   2. put the same type signature on f as is on (/\)
   3. replace f with (/\) completely

What's going on here?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090120/54d5165e/attachment.htm

More information about the Haskell-Cafe mailing list