Type inferencing example.