使用data关键字来定义一种新的数据类型（data type）：
data StudentInfo = Student Int String
deriving (Show)
StudentInfo是type constructor，也是这种新type的名字，所以首字母必须大写。
Student是value constructor（有时也称之为data constructor）的名字，它的首字母也必须大写（可以把它看做是首字母大写的函数），作用是用来创建StudentInfo这种type的值。在Student后面的Int和String是StudentInfo这种type的component（有时也称作field或parameter），其作用类似于其它编程语言中结构体成员。
type constructor只用在type declaration和type signature中，而value constructor只用在实际的代码中。因此二者的使用是相互独立的，可以让type constructor和value constructor拥有相同的名字，实际编码中基本也是这样做的：
data Student = Student Int String
deriving (Show)也可以使用type关键字为已有的类型定义一个同义词（type synonym）：
type SI = StudentInfo
type synonym也可以为一个冗长的类型取一个短名字，举例如下：
type SI = (Int, String)