TypeFamilies vs. FunctionalDependencies & type-level recursion
simonpj at microsoft.com
Fri Jun 8 10:13:44 CEST 2012
No I didn't intend to put more in the header, perhaps less.
I've added more clarification.
| -----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
| 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
| > 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.)
| Haskell-prime mailing list
| Haskell-prime at haskell.org
More information about the Haskell-prime