[Haskell-cafe] Functional dependencies and overloading of operation

[Tom Ellis]

On Mon, Feb 29, 2016 at 09:08:01AM +0100, Kristoffer Føllesdal wrote:
> Internally in programs I will use the specific functions for each case.
> But I want some «syntactic sugar» for this functions when doing direct
> calculations in for example ghci.  It will be more user friendly for
> direct interaction not to have four different functions that in practice
> do the same thing.

It's a reasonable desire, but I think losing type inference is going to lose
you more than you gain.