我们可以这样解读这个函数的类型：removeNonUppercase这个函数接收一个Char List类型的参数返回一个Char List类型的返回值

那么如何解读上面的表达式呢？ 首先data关键字后边的BookInfo是新类型的名字，我们称BookInfo为*类型构造器*。类型构造器用于指代（refer）类型。类型名字的首字母必须大写，因此类型构造器的首字母也必须大写。 接下来的Book...