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:Bulat.Ziganshin at gmail.com