> I suppose the same is true in Haskell, but you don't write type constructors using '->' between the fields, so this punning is less obvious That's exactly ho

> I suppose the same is true in Haskell, but you don't write type constructors using '->' between the fields, so this punning is less obvious That's exactly how you write GADTs in Haskell: https://downloads.haskell.org/~ghc/6.6/docs/html/users_guide/gadt.html https://downloads.haskell.org/~ghc/6.6/docs/html/users_guide....