u/enobayramin r/haskell • Recommends
On “What is the reason behind the need of explicitly declare `newtype` ?”
There are some subtleties in how laziness works around `data`, `data` + strictness annotations and `newtype`. See this video from Richard Eisenberg: link to this video