[Haskell-cafe] Functional dependencies and overloading of operation

[Tom Ellis]

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?