QQ on #dris are single-constructor data types "free" in the way Haskell `newtype`s are?
I think part of the problem I'm running into is too many type aliases?
QQ on #dris are single-constructor data types "free" in the way Haskell `newtype`s are?
I think part of the problem I'm running into is too many type aliases?