concept type signature in category haskell

This is an excerpt from Manning's book Get Programming with Haskell. Login to get full access to this book.

Functions also have type signatures. In Haskell an -> is used to separate arguments and return values. The type signature for double looks like figure 11.2.

Figure 11.2. Defining the double function by using a type signature

The type signature for map is as follows: