[Haskell-cafe] [ghc-proposals/cafe] Partially applied type families

Richard Eisenberg rae at cs.brynmawr.edu
Mon Jun 5 03:15:32 UTC 2017

> On Jun 4, 2017, at 4:06 AM, Anthony Clayden <anthony_clayden at clear.net.nz> wrote:
> OK, concrete example:

I'm afraid I don't see the concrete example. I was expecting an example of how today's TypeError doesn't work for you. But it looks like the example you give is one motivating instance guards... but I'm not quite sure of that, either. I find these examples are clearest when they include code that you want to write, but can't; or code that behaves a certain way, but you want different behavior. And indeed maybe that's in your example, but I didn't see it.


More information about the Haskell-Cafe mailing list