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

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