Comment by Hackbraten

I’m not proficient in Haskell but I feel the article is stopping short of making its point.

So I’ve learned that the constructive approach is awkward to work with in practice, and the newtype-wrapper approach is not type safe. What would be an example to implement the `OneToFive` example properly and in a type-safe way, then?