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