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

[Benja Fallenstein]

2007/7/12, peterv <bf3 at telenet.be>:
> 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