[Haskell-cafe] Partially applied type families

[Richard Eisenberg]

> On May 12, 2017, at 8:31 AM, Soham Chowdhury <chow.soham at gmail.com> wrote:
> 
> Relatedly, there is a sketch of something like a "case construct" on Richard's blog, where he talks about a "type instance where" syntax that allows closed interdependent sets of family instances. Is that something that was later found to be infeasible?

The `type instance where` construct has evolved to become closed type families. The expressiveness you see there still exists, but the syntax has evolved.

Richard