[Haskell-cafe] Actual levity polymorphism

[J. Reinders]

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 <tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk> 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-1030258076
> _______________________________________________
> 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.