Some type inference.
Currying example.