Hello Alexander, Monday, January 21, 2008, 8:28:33 PM, you wrote:
> So, the function type "(Num a)=>Integer->a" means that return value > of this function can be cast to any particular instance of class Num. no! this means that the function really can return value of any type - the calller (implicitly, via dictionary) says which type should be returned -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe