Haskell uses keyword "where" for that. So the example corresponds to the following Haskell code: f a b where f = \x -> \y -> x * y -- or f

Haskell uses keyword "where" for that. So the example corresponds to the following Haskell code: f a b where f = \x -> \y -> x * y -- or f = (*) a = 1 b = 2