[Haskell-cafe] Partially applied type families

Richard Eisenberg rae at cs.brynmawr.edu
Mon May 15 17:15:25 UTC 2017

> 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.


More information about the Haskell-Cafe mailing list