Dependent Haskell vs. Explicit Dictionary Application

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.
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.