[Haskell-cafe] Partially applied type families
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