Better predictive type system.