On Feb 13, 2009, at 12:07 PM, Jonathan Cast wrote:
Exactly! But if it fails, why on earth should any other use of map in the module succeed?
Because more information is known about other usages of map. Such is the nature of type inference.
If you wanted to go a step further, then I suppose you could see how warmFuzzyThingFirstOperation is used and if it can be typed in exactly one way.
Regards, John A. De Goes N-BRAIN, Inc. The Evolution of Collaboration http://www.n-brain.net | 877-376-2724 x 101 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
