Abstract newtype in hs-boot
Currently, the following syntax is not supported in an
module A where newtype F
This functionality would be pretty useful, since often the RHS of a newtype is intended to be abstract, and would be a pain to place in the boot file. This is also useful for Backpack.
It's a bit hard for me to tell what this should do under the hood: we would have newtypes without the coercions.
|Component||Compiler (Type checker)|