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.