Section 2.2 DataKinds - Error in user example

[sholland1]

This example causes an error: Multiple declarations of 'User'

data UserType = User | Admin
data User = User {...}

Since DataKinds is turned on, the first declaration is creating a type User in addition to the usual type in the second declaration.

[isovector]

Nice find. That's what I get for writing stubbed out code! I'm pretty burned out on this project, but would be willing to accept a PR. Otherwise I'll hold onto the bug if the book ever finds a second edition.