| Another strange thing about n+k patterns.
|
| Its definition uses >= , but >= is not part of the class Num.
| Does that mean that n+k patterns have to be instances of class Real?
Certainly. In fact, they're really meant to apply only to class
Integral (and it would be natural numbers, if we had them).
| One could leave it class Num, if the translation were expressed
| in terms of "signum" rather than ">=".
Being able to match complex numbers (along the positive real axis only!)
with n+k patterns would be a dubious advantage, IMHO.
| Question:
| Can one misuse the feature of n+k-patterns to simulate
| n*k+k' patterns? [I am talking about weird user-defined
| instances of Num.]
quite possibly.
| Stefan Kahrs
--Joe Fasel
