[Haskell-cafe] Partial type family application

mniip 14 at mniip.com
Sat May 6 23:24:33 UTC 2017

For everyone who didn't notice, the original post was incorporated into
this proposal: https://github.com/ghc-proposals/ghc-proposals/pull/52
which attracted less community attention than I hoped it would. Please
check it out!

On Wed, Apr 26, 2017 at 03:29:32PM +0300, mniip wrote:
> This idea is very fresh, and I certainly haven't explored all the
> aspects, so I would welcome constructive (and intuitionistic) criticism
> regarding both usefulness and mathematical soundness of this.


More information about the Haskell-Cafe mailing list