[Haskell-cafe] Dependent Haskell vs. Explicit Dictionary Application

[Henning Thielemann]

There was an effort to add explicit type class dictionary applications to 
GHC:
   https://arxiv.org/abs/1807.11267

Will the new features of Dependent Haskell eventually supersede this 
approach? The current features in GHC-9.12 do not seem to allow for 
explicit specification of type class dictionaries.