[Haskell-beginners] Haskell type definitions

[Angus Comber]

I am learning Haskell using Learn You a Haskell.  On page 54 is an
implementation of take like so:

    take' :: (Num i, Ord i) => i -> [a] -> [a]
    take' n _
        | n <= 0 = []
    take' _ []   = []
    take' n (x:xs) = x : take' (n-1) xs

I understand all the code apart from the first line.

The :: part I understand as meaning this is a type definition?

(Num i, Ord i) is a tuple.  The first element of the tuple has to be
numeric, fair enough.  the second param has to be able to be ordered.
The parameter is the same - both are i.  This means that the types
have to be the same?

Why is it not (Num i, Ord j)?  Isn't the 2nd tuple element
referring to the list?  Which could be of any type?

What does => signify?

i -> [a] -> [a] means first parameter is numeric?  2nd param is any
type list, 3rd param is any type list.  So this is saying first param
numeric, 2nd param a list of any type and it returns a list of any
type.  Well that is understandable I suppose.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20130410/04354568/attachment.html>