[Haskell-cafe] functional dependencies question

[Miguel Mitrofanov]

> The class Num has subclasses containing various numeric types and the
> literal 1 is a value for one or more of those types.

Well, the problem is not with subclasses, but with types.