This is because libraries should not require the presence of typechecker plugins. Technically, they can (you could document it), but many developers will not use libraries that have unusual install procedures like this.
The good news is that it's no longer the case, I think. I'm using typing plugins in my library and it all amounts to adding them to cabal dependencies and putting a line or two
https://github.com/Mikolaj/horde-ad/blob/843fe1f110f7995e90feaac0e89ae4bff0d3367b/src/HordeAd/Core/AstSimplify.hs#L2
in the source file header.
Or am I missing any obvious problems with this approach ?
The good news is that it's no longer the case, I think. I'm using typing plugins in my library and it all amounts to adding them to cabal dependencies and putting a line or two
https://github.com/Mikolaj/horde-ad/blob/843fe1f110f7995e90feaac0e89ae4bff0d3367b/src/HordeAd/Core/AstSimplify.hs#L2
in the source file header.
Or am I missing any obvious problems with this approach ?