TypeFamilies vs. FunctionalDependencies & type-level recursion

[Simon Peyton-Jones]

No I didn't intend to put more in the header, perhaps less.
I've added more clarification.  

Simon

| -----Original Message-----
| From: haskell-prime-bounces at haskell.org [mailto:haskell-prime-
| bounces at haskell.org] On Behalf Of AntC
| Sent: 08 June 2012 02:00
| To: haskell-prime at haskell.org
| Subject: Re: TypeFamilies vs. FunctionalDependencies & type-level
| recursion
| 
| Simon Peyton-Jones <simonpj at ...> writes:
| 
| >
| > I have expanded the draft spec on
| > http://hackage.haskell.org/trac/ghc/wiki/NewAxioms
| 
| Thanks Simon, that's much clearer.
| 
| By the way, are the examples for the multi- type instance declarations
| quite as intended? The heads have no head, as it were. Did you mean, or
| is this allowed?
| 
|     type instance F [a] where ...
| 
|     type instance F (a, b) where ...
| 
| (From a documentation point of view, this shows that the instance groups
| are
| non-overlapping.)
| 
| > to answer some of the questions on AntC’s discussion page.
| >
| 
| (I'd rather you called it just *the* discussion page; I'm doing the ego-
| less contributor thing. I must admit that after I got the page started,
| I've not had so much time to keep building it.)
| 
| AntC
| 
| 
| _______________________________________________
| Haskell-prime mailing list
| Haskell-prime at haskell.org
| http://www.haskell.org/mailman/listinfo/haskell-prime