Explain the concept of currying in Haskell and how it relates to function composition.

Currying is a fundamental concept in Haskell that allows functions to be partially applied by transforming a function that takes multiple arguments into a sequence of functions, each taking a single argument. It is named after the mathematician Haskell Curry, who made significant contributions to the theory of functional programming. In Haskell, every function is considered to be a function of a single argument. If a function is defined with multiple parameters, currying allows you to create a chain of functions, each taking one argument and returning a new function until all the arguments are supplied. Let's illustrate currying with an example. Consider a function `add` that takes two integers and returns their sum: ``` haskell`add :: Int -> Int -> Int add x y = x + y` ``` By default, this function appears to take two arguments. However, in Haskell, we can interpret it as a function that takes a single argument `x` and returns anot....