Currying

        // These three are all the same
        \x -> (\y -> x)             :: a -> (b -> a)
        \x -> \y -> x               :: a -> (b -> a)
        \x -> \y -> x               :: a -> b -> a

A more interesting example:

        \x -> \f -> f x             :: a -> (a -> t) -> t