Very neat insights into data type differentiation! Minor nitpick: the article uses data Unit = Unit but the Haskell standard Prelude already has the empty

Very neat insights into data type differentiation! Minor nitpick: the article uses data Unit = Unit but the Haskell standard Prelude already has the empty tuple type (), with single element (), functioning as the standard unit type.