Re: [Haskell-cafe] Functional dependencies *not* part of the next Haskell standard?

2007/7/12, peterv :

Amazing, so simple it is, Yoda would say ;)

I did not realize one could perform "partial application" on types when declaring instances (I mean not specifying the type of Vector2 in <instance Vector Vector2>).

You ought to meditate on the type class 'Monad,' then, which was the motivating example for allowing these kinds of classes in standard Haskell ;-) All the best, - Benja