included type inferencing to paper