Make it clearer what the return type of most binary operators will be. about haskell-soda HOT 3 CLOSED

I think I can make it a different type than both of the inputs to the constructors, but that would mean that you have to put type declarations on it whenever you use it, which would be annoying. However, I suppose it's possible that someone would want something like Double -> Number -> Money, which restricting the constructor would prevent.

Perhaps I could make the constructor like that, but make the infix operators have type a -> b -> b (or the other way around) so that if they really want that other way, they could use the non-infix operator. I'm fairly certain that this is possible, but I'll have to test it.

from haskell-soda.

The equality operator will need some really good solution, because right now it requires both types to be the same. You can compare different numeric types together which this doesn't allow. If we really need to, I suppose we could have two different constructors, but that just adds another rule to keep track of.

from haskell-soda.

I made a note in the documentation about this problem. Hopefully people will notice it. I'll close this issue, but I've opened up another issue #29 to try and improve this problem in general.

from haskell-soda.