[Haskell-cafe] Actual levity polymorphism

Tom Ellis tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Mon Jan 2 14:07:17 UTC 2023

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?


More information about the Haskell-Cafe mailing list