Re: [Haskell-cafe] Partially applied type families

On May 12, 2017, at 8:31 AM, Soham Chowdhury 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