我写这个有什么区别？
data Book = Book Int Int
与
newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid
haskell types type-systems newtype
haskell ×1
newtype ×1
type-systems ×1
types ×1