
2 Jan
2023
2 Jan
'23
9:07 a.m.
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...