The written type  Its meaning 

Int  the type Int

Int > Int  the type function from Int to Int

Float > Int  the type function from Float to Int

a > Int  the type function from any type to Int

a > a  the type function from any type a to the same type a

a > a > a  the type function of two arguments of any type a to the same type a
