Change "function value" to "function result"
Add some description of Haskell