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 可以作用于任何类型的值。
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
