Finished infer type without substitute