On Tue, Jun 14, 2011 at 4:40 PM, Dan Doel wrote:
> On Tue, Jun 14, 2011 at 5:36 AM, Simon Peyton-Jones
> wrote:
>> There was an interesting thread on haskell-prime [1], about the relationship
>> between functional dependencies and type families. This message is my
>> attempt to summarise the c
On Tue, Jun 14, 2011 at 6:31 PM, Dan Doel wrote:
> Sorry about the double send, David. I forgot to switch to reply-all in
> the gmail interface.
>
> On Tue, Jun 14, 2011 at 11:49 AM,
> wrote:
>> You absolutely still can use FunctionalDependencies to determine type
>> equality in GHC 7. For examp