Hello glasgow-haskell-users, 7.4.10 of user guide say:
-- f and g assume that 'a' is already in scope f = \(x::Int, y) -> x g (x::a) = x seems that f definition should contain 'a' -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users