# New GHC proposal: nominal implicit parameters

**URL:** https://discourse.haskell.org/t/new-ghc-proposal-nominal-implicit-parameters/13605
**Category:** Links
**Created:** [January 26, 2026, 8:04pm UTC](https://discourse.haskell.org/t/new-ghc-proposal-nominal-implicit-parameters/13605 "2026-01-26T20:04:12Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![lortabac](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/lortabac/32/4597_2.png) [@lortabac](https://discourse.haskell.org/u/lortabac)
#### Post date: [January 26, 2026, 8:04pm UTC](https://discourse.haskell.org/t/new-ghc-proposal-nominal-implicit-parameters/13605/1 "2026-01-26T20:04:13Z")

</div>

After various unsatisfactory attempts to provide a sane implementation of implicit parameters as a library, my conclusion is that this must be a built-in GHC feature.

This is the proposal: [Nominal implicit parameters by lortabac · Pull Request #741 · ghc-proposals/ghc-proposals · GitHub](https://github.com/ghc-proposals/ghc-proposals/pull/741)

A prototype is available in my GHC fork: [Files · nominal-implicit-parameters2 · lortabac / GHC · GitLab](https://gitlab.haskell.org/lortabac/ghc/-/tree/nominal-implicit-parameters2?ref_type=heads). The implementation needs some cleaning but is quite complete in terms of features (only marginal features such as TH and HIE support are missing).

Let me know what you think.