[Haskell-cafe] A new type of newtype --- Type-level instance diversification and resolution (tl; dr)

Oleg oleg at okmij.org
Mon May 29 13:47:56 UTC 2017

The idea of adding a label (`resolver') is very old. Here is the
examples of how far you can take it:
We can represent all of Haskell98 classes plus functional dependencies
with only one, predefined type class.

More information about the Haskell-Cafe mailing list