Re: [Haskell-cafe] Actual levity polymorphism

No, I found it. It is this GHC issue: https://gitlab.haskell.org/ghc/ghc/-/issues/14917

On 2 Jan 2023, at 15:07, Tom Ellis wrote:

On Mon, Jan 02, 2023 at 02:01:56PM +0100, J. Reinders wrote:

...

I seem to recall another thread where there were more suggestions like a special form of type classes that is always guaranteed to monomorphise away

Perhaps this?

https://github.com/ghc-proposals/ghc-proposals/pull/454#issuecomment-1030258... _______________________________________________ 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.