nameclass

Are you saying that I can legitimately read contains:: NameClass -> QName -> Bool two ways?

Like, contains:: (NameClass, QName) -> Bool And contains:: NameClass -> (QName, Bool)?

It's equivalent to either contains:: (NameClass, QName) -> Bool or contains:: NameClass -> (QName -> Bool) In other words, you can treat it as a function taking two arguments, or one function taking one argument and returning another function.

I think 'C++ template programming' might be better also:/ The following syntax in Haskell causes a parse error in my brain: contains:: NameClass -> QName -> Bool I really want it to be contains:: (NameClass, QName) -> Bool Or even just contains:: NameClass, QName -> Bool Is it just my problem to get over or do other people have it, or is there syntactic sugar coming to my rescue?

As a matter of style, Haskellers tend to avoid writing function like this, and prefer to write functions like contains:: NameClass -> (QName -> Bool) which indicates that "contains" is a function that takes a "NameClass" and returns another function.

As a matter of style, Haskellers tend to avoid writing function like this, and prefer to write functions like contains:: NameClass -> (QName -> Bool) which indicates that "contains" is a function that takes a "NameClass" and returns another function.