Type lambda-abstractions and products.