参看下面程序：
> :t head
head :: [a] -> a
这里的a不是type（Haskell中的类型以大写字母开头），而是type variale，可以代表任一类型，有点类似于其它编程语言的generics。含有type variable的函数称之为polymorphic functions。
现在可以知道为什么type名字必须以大写字母开头，这是为了与type variable名字区分开。type variable必须以小写字母开头。
此外：
You can always tell a type variable from a normal variable by context, because the languages of types and functions are separate: type variables live in type signatures, and regular variables live in normal expressions.
type variable存在于type signature中，而regular variable则存在于正常的表达式中。