The world if, instead of `data`, `type`, and `newtype`, we had `type struct`, `type alias`, and `type wrapper`#Haskell