Functional Dependencies

[Dirk Reckmann]

Hello Keean!

Am Dienstag, 16. August 2005 13:48 schrieb Keean Schupke:
> Picked up on this late... I have working examples of add etc under
> ghc/ghci...
> I can't remeber all the issues involved in getting it working, but I can
> post the
> code for add if its any use?

Yes, that would be nice. I'd like to see 'add' working... However, after each 
answer to my posting, I get more confused. Simon Peyton-Jones took all of my 
hope to get it working, because ghc doesn't like universal quantified but 
uniquely idetified types (at least, this is my understanding of his email). 
Now you have a working 'add' typelevel program. And the most confusing part 
for me is, that my fibonacci number program works, even though it makes use 
of the not working version of add.

So, I'm really looking forward to your version!

Ciao,
  Dirk