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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
