[Haskell-cafe] Partial type family application

[mniip]

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.

--mniip