[Miky]

Thinking of values as functions is more misleading than it is illuminating. There are values that are functions, and there are values that are not, and the type system is extremely clear about which are which. It's just that all values can be polymorphic, including functions.

Conal Elliott has a good blog post about it. http://conal.net/blog/posts/everything-is-a-function-in-hask...

[tel]

True. It's most accurate to think of functions as values which are of the type (a -> b) "mappings".

But really it's all confusion deriving from the fact that functions in Haskell mean something completely different from other languages.