Predictive typing

by Yegor Trukhin