Point-Free Style : Haskell doesn't like it ?

Andrew J Bromage ajb@spamcop.net
Mon, 5 May 2003 16:43:34 +1000


G'day all.

On Mon, May 05, 2003 at 01:11:49PM +0900, Ahn Ki-yung wrote:

> For example, 0) and 1) are Unresolved top-level overloading,
> but 2) is accepted by the type system.

As others have pointed out, you have been bitten by the monomorphism
restriction.

In your case, all of the versions of your code will work just fine if
you put in an explicit type declaration (which is good programming
practice anyway).

Cheers,
Andrew Bromage