I think this post [0] points out how Haskell can implement this sort of thing, using DataKinds, and GeneralizedNewTypeDeriving with StandaloneDeriving. [0] ht

I think this post [0] points out how Haskell can implement this sort of thing, using DataKinds, and GeneralizedNewTypeDeriving with StandaloneDeriving. [0] https://lexi-lambda.github.io/blog/2016/06/12/four-months-with-haskell/ https://lexi-lambda.github.io/blog/2016/06/12/four-months-wi...