Functional Dependencies

[Dirk Reckmann]

Am Dienstag, 16. August 2005 21:17 schrieb Keean Schupke:
> Attached are 3 Haskell modules used for type level programming. These

Thank you!

> The general 'trick' if you will is to imlement each funtion as a type
> class, pattern matching the
> types to instances in a type-level analogue of the value level function.

Having a value level function at all seems to be the trick I had to learn 
first. ;-)

Ciao,
  Dirk