[Haskell-cafe] Functional dependence nightmare

[Stephen Tetley]

Hi Edgar

On 26 March 2011 20:19, Stephen Tetley <stephen.tetley at gmail.com> wrote:
> ... you
> want to use scoped type variables so that the local type annotation is
> *the same type* type variable.

Ahem ...

> so that the local type annotation is *the same type variable*.

Where is Data.Vec coming from so I can try to compile it myself?

Best wishes

Stephen