Inferred types are helpful as a demonstration and exploration tool.
Once you are writing programs, having the compiler infer types and check against your requirement is a fantastic bug finder.
matt
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
