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 f

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.