В чем разница, когда я пишу это?
data Book = Book Int Int
по сравнению с
newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid