[Haskell-cafe] Type-directed functions with data kinds

[Andres Löh]

Hi Iavor.

> If you don't want to use the class system, you could write `repeat` with a
> type like this:
>
>     repeat :: Proxy n -> a -> Vector n a
>
> (`Proxy` is the singleton family 'data Proxy n = Proxy`).

How is the polymorphism becoming any less parametric by using this
particular Proxy type?

Cheers,
  Andres