Mario

> But frankly that seems like such a hassle just because we don't trust our users to use Text primitives parsimoniously. I personally agree, but that's because I generally trust...

I had a look at issue #336, thanks @Nadrieril. I'm not sure these plugins would necessarily need to understand Dhall types. Here's my generalization of the requirements I gather for...

I'm an idiot. Please read every occurrence of `Void` as `()` in the proposal above. Alternatively it could be a new data type `Ignorable` exported by `Dhall.Import` for the purpose.

Haskell: data ValueConfig = ValueConfig{ interestingStuff :: Text } data Config = Config{ record :: Ignorable, mappings :: Dhall.Map.Map Text ValueConfig, otherStuff :: Dhall.Natural } Dhall: let ValueConfig = {...

The catch is exactly the problem.

What is the problem with the `Ignorable` solution? Is it not implementable?

I did consider that class of solutions as well, but it felt ... tacky. The reason I'm switching to Dhall is not because I'm a fan of stringly typed programming....

I want to add that a principled equivalent of `Dhall.Ignorable` type would be `forall a.a`. It would be perfectly sound to allow loading anything whatsoever with that type. The implementation...

I don't have an opinion on the graphical design, but I can add a few cents on the content. The most important single item on the front page would be...

That's been fixed with a manual push to https://gitlab.haskell.org/ghc/packages/Cabal/-/tree/wip/exportable-named-defaults?ref_type=heads