type 类型别名

data BookInfo = Book

BookInfo是类型构造器，Book是值构造器

data Bool = False | True

data Maybe a = Just a
             | Nothing

译注：Maybe，Just，Nothing 都是 Prelude 中已经定义好的类型
这段代码是不能在 ghci 里面执行的，它简单地展示了标准库是怎么定义 Maybe 这种类型的
这里的变量 a 不是普通的变量：它是一个类型变量。它意味着 Maybe 类型使用另一种类型作为它的参数。从而使得 Maybe 可以作用于任何类型的值。