Re: [Haskell-cafe] Functional dependencies and overloading of operation

On Sun, Feb 28, 2016 at 10:00:42PM +0100, Kristoffer Føllesdal wrote:

I am trying to use Functional dependencies to overload a operation on Vector space and its basis [...] operation :: a -> a -> Vect k a operation :: a -> Vect k a -> Vect k a operation :: Vect k a -> a -> Vect k a operation :: Vect k a -> Vect k a -> Vect k a

This is unlikely to be a good idea in practice. Is there a good reason you can't use four different names for these operations?